Axiomatic Systems

• Logical language

• Rules of proof

• Undefined terms

• Axioms

• Definitions

• Theorems

• Proofs of theorems

Previous slide

Next slide

Back to first slide

View graphic version