Module tnt::axioms [−][src]
Axioms for use with Deduction.
Structs
| PEANO | These are the axiomatic statements of the TNT formal system, they don’t align strictly with the Peano Axioms but they define the same arithmetic properties for addition and multiplication. The axioms are as follows: |