Axiom Abbreviations and Axiom Acronym Lists

There are more pieces of Axiom terminology abbreviations. We can not list them all due to technical reasons, but we have 8 different Axiom abbreviations at the bottom which located in the Axiom terminology. please use our search engine at the top right to get more results.

1. AC : Axioms of Choice
2. ZFC : Zero Fuel Calibration
3. BPI : Boolean Prime Ideal
4. DC : Dependent Choice
5. DT : Deduction Theorem
6. NBG : Neumann-Bernays-GöDel
7. NBG : Neumaun-Bernays-Goedel
8. PITL : Propositional Interval Temporal Lagic

1. Propositional Interval Temporal Lagic
2. Neumaun-Bernays-Goedel
3. Neumann-Bernays-GöDel
4. Deduction Theorem
5. Dependent Choice
6. Boolean Prime Ideal
7. Zero Fuel Calibration
8. Axioms of Choice