More Metamath

• If all of the axioms of a system are true in a model, then all of the theorems are true in that model.

• An axiomatic system is consistent iff it has a model.

Previous slide

Next slide

Back to first slide

View graphic version