Talk:Primitive recursive arithmetic: Difference between revisions

Revision as of 21:03, 8 July 2016

Revision as of 10:14, 6 January 2023

Line 1:

{{maths rating|class=Start|priority=Low|field=foundations}}

{{Broken anchors|links=

* <nowiki>[[First-order logic#Substitution|variable substitution]]</nowiki> The anchor (#Substitution) has been [[Special:Diff/296571032|deleted by other users]] before. <!-- {"title":"Substitution","appear":{"revid":51693523,"parentid":51681258,"timestamp":"2006-05-05T15:53:14Z","removed_section_titles":[],"added_section_titles":["Substitution"]},"disappear":{"revid":296571032,"parentid":296570251,"timestamp":"2009-06-15T16:41:19Z","removed_section_titles":["Substitution"],"added_section_titles":[]}} -->

}}

==History==

History: Skolem (1923) the first published version.