Primitive recursive arithmetic: Difference between revisions

Revision as of 17:49, 8 March 2019

Revision as of 18:59, 17 June 2020

Line 23:

* A [[countably infinite]] number of variables ''x'', ''y'', ''z'',....

*The [[propositional calculus|propositional]] connectives;

*The equality symbol ''='', the constant symbol ''0'', and the [[primitive recursive function|successor]] symbol ''S'' (meaning ''add one'');

*A symbol for each [[primitive recursive function]].