Definition:Axiom (Formal Systems)/Also known as
Jump to navigation
Jump to search
Axiom (Formal Systems): Also known as
When $\LL$ is a logical language, then one also speaks of logical axioms instead of (formal system) axioms.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): axiom
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): axiom