It said “733 axioms, definitions, and theorems”
I’m guessing 733 is the sum of the axioms, definitions and theorems, not just the axioms alone.
It said “733 axioms, definitions, and theorems”
I’m guessing 733 is the sum of the axioms, definitions and theorems, not just the axioms alone.