Terminology 99: A selection of statements will be declared axioms. We take for granted that each axiom holds in every context.
A theoretical quest.
Terminology 99: A selection of statements will be declared axioms. We take for granted that each axiom holds in every context.