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: |