Nicod's axiom

 Ancestors

1. Theorems in propositional logic
2. Mathematical theorems
3. Mathematics
4. OurBigBook Wikipedia Bot