Recent Axiomatic Systems:

• the language of modern logic

• rules of proving

• undefined terms

• axioms

• definitions

• theorems

• proofs

Previous slide

Next slide

Back to first slide

View graphic version