All Subjects
Light
4.1
Axioms, theories, and models
4.2
Consistency and completeness of theories
4.3
Model-theoretic consequences and logical implications
4.4
Examples of theories and their models