Content deleted Content added
→Language and axioms: Also link to Logical connective |
JamesTMartin (talk | contribs) m →Language and axioms: Fix link. The Substitution section was moved to Rules of Inference in 2009. This link has been broken for 14 years. |
||
Line 15:
* [[tautology (logic)|Tautologies]] of the [[propositional calculus]];
* Usual axiomatization of [[Equality (mathematics)|equality]] as an [[equivalence relation]].
The logical rules of PRA are [[modus ponens]] and [[First-order logic#
The non-logical axioms are, firstly:
* <math>S(x) \neq 0</math>;
| |||