of the completeness theorem. Gödel, K (1930). "Die Vollständigkeit der Axiome des logischen Funktionenkalküls". Monatshefte für Mathematik (in German)...
17 KB (2,331 words) - 16:22, 5 December 2024
theory of the natural numbers. Giuseppe Peano published a set of axioms for arithmetic that came to bear his name (Peano axioms), using a variation of the logical...
69 KB (8,343 words) - 01:23, 24 December 2024
P. (1926), "Über die Grundlagen der Mengenlehre. I: Die Mengen und ihre Axiome", Math. Z., 25: 683–713, doi:10.1007/BF01283862, JFM 52.0192.01; translation...
13 KB (1,481 words) - 18:58, 2 December 2024
enough to describe the arithmetic of the natural numbers (for example, Peano arithmetic), there are true propositions about the natural numbers that...
49 KB (5,488 words) - 14:34, 25 December 2024