Search results

• Predicate
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1952) pp. Chapt. XIV</TD></TR><TR><TD valign="top">[a2]
  2 KB (245 words) - 15:00, 30 December 2018
• Logical consequence
  ...valign="top">[1]</TD> <TD valign="top"> H. Rasiowa, "The mathematics of metamathematics" , Polska Akad. Nauk (1963)</TD></TR>
  2 KB (295 words) - 21:24, 8 December 2016
• Essentially-undecidable theory
  ...D valign="top">[3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR>
  2 KB (273 words) - 20:42, 19 October 2017
• Autonymy
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  2 KB (318 words) - 14:25, 30 December 2018
• Truth table
  |valign="top"|{{Ref|Kl}}||valign="top"| S.C. Kleene, "Introduction to metamathematics", North-Holland (1952) pp. 288 {{MR|0051790}} {{ZBL|0047.00703}}
  2 KB (289 words) - 12:58, 10 August 2014
• Decidable set
  ...<TD valign="top">[a2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951) pp. 288</TD></TR>
  2 KB (294 words) - 07:46, 18 November 2023
• Multiple recursion
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign
  2 KB (313 words) - 08:02, 6 June 2020
• Syntax
  ...D valign="top">[3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  2 KB (328 words) - 17:25, 7 February 2011
• Enumerable predicate
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  2 KB (311 words) - 05:34, 12 October 2014
• Axiom scheme
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign=
  2 KB (337 words) - 16:00, 5 August 2014
• Hilbert system of axioms
  ===Metamathematics of Hilbert’s system===
  8 KB (1,229 words) - 23:34, 16 September 2015
• Equality axioms
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1950) pp. Chapt. XIV</TD></TR></table>
  2 KB (317 words) - 19:37, 5 June 2020
• Free variable
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  3 KB (500 words) - 19:40, 5 June 2020
• Theorem
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951) pp. 288</TD></TR><TR><TD valign="top">[a2]</TD> <
  2 KB (361 words) - 17:07, 7 February 2011
• General recursive function
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR>
  2 KB (365 words) - 11:52, 31 January 2022
• Double negation, law of
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  2 KB (374 words) - 21:07, 1 November 2014
• Mathematical induction
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  5 KB (788 words) - 19:52, 15 January 2021
• Primitive recursion
  ...valign="top">[a3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1959) pp. Chapts. IX; XI, §54</TD></TR>
  2 KB (371 words) - 21:13, 2 November 2014
• Formal system
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  3 KB (392 words) - 12:21, 19 August 2014
• Finitism
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign=
  2 KB (370 words) - 12:35, 17 March 2014

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)