Franklin's Notes
List of axioms notes:
Logical Axioms and Rules of Inference
Axiomatization in Sentential Logic
Zermelo-Frankel Axioms
Theories of order
Peano Arithmetic
Weaker theories of arithmetic
Definition of a category
Axiom schemas in modal logic
back to home page