| |
| |
| |
| Frege (1879) | |
| |
| |
| Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought | |
| |
| |
| |
| Peano (1889) | |
| |
| |
| The principles of arithmetic, presented by a new method | |
| |
| |
| |
| Dedekind (1890a) | |
| |
| |
| Letter to Keferstein Burali-Forti (1897 and 1897a) | |
| |
| |
| A question on transfinite numbers and On well-ordered classes | |
| |
| |
| |
| Cantor (1899) | |
| |
| |
| Letter to Dedekind | |
| |
| |
| |
| Padoa (1900) | |
| |
| |
| Logical introduction to any deductive theory | |
| |
| |
| |
| Russell (1902) | |
| |
| |
| Letter to Frege | |
| |
| |
| |
| Frege (1902) | |
| |
| |
| Letter to Russell | |
| |
| |
| |
| Hilbert (1904) | |
| |
| |
| On the foundations of logic and arithmetic | |
| |
| |
| |
| Zermelo (1904) | |
| |
| |
| Proof that every set can be well-ordered | |
| |
| |
| |
| Richard (1905) | |
| |
| |
| The principles of mathematics and the problem of sets | |
| |
| |
| |
| Kouml;nig (1905a) | |
| |
| |
| On the foundations of set theory and the continuum problem | |
| |
| |
| |
| Russell (1908a) | |
| |
| |
| Mathematical logic as based on the theory of types | |
| |
| |
| |
| Zermelo (1908) | |
| |
| |
| A new proof of the possibility of a well-ordering | |
| |
| |
| |
| Zermelo (l908a) | |
| |
| |
| Investigations in the foundations of set theory I Whitehead and Russell (1910) | |
| |
| |
| Incomplete symbols: Descriptions | |
| |
| |
| |
| Wiener (1914) | |
| |
| |
| A simplification of the logic of relations | |
| |
| |
| |
| Louml;wenheim (1915) | |
| |
| |
| On possibilities in the calculus of relatives | |
| |
| |
| |
| Skolem (1920) | |
| |
| |
| Logico-combinatorial investigations in the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by L | |
| |
| |
| Louml;wenheim and generalizations of the | |
| |
| |
| |
| theorem | |
| |
| |
| |
| Post (1921) | |
| |
| |
| Introduction to a general theory of elementary propositions | |
| |
| |
| |
| Fraenkel (1922b) | |
| |
| |
| The notion "definite" and the independence of the axiom of choice | |
| |
| |
| |
| Skolem (1922) | |
| |
| |
| Some remarks on axiomatized set theory | |
| |
| |
| |
| Skolem (1923) | |
| |
| |
| The foundations of elementary arithmetic established by means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains | |
| |
| |
| |
| Brouwer (1923b, 1954, and 1954a) | |
| |
| |
| On the significance of the principle of excluded middle in mathematics, especially in function theory, Addenda and corrigenda, and Further addenda and corrigenda von Neumann (1923) | |
| |
| |
| On the introduction of transfinite numbers Schouml;nfinkel (1924) | |
| |
| |
| On the building blocks of mathematical logic filbert (1925) | |
| |
| |
| On the infinite von Neumann (1925) | |
| |
| |
| An axiomatization of set theory Kolmogorov (1925) | |
| |
| |
| On the principle of excluded middle Finsler (1926) | |
| |
| |
| Formal proofs and undecidability Brouwer (1927) | |
| |
| |
| On the domains of definition of functions filbert (1927) | |
| |
| |
| The foundations of mathematics Weyl (1927) | |
| |
| |
| Comments on Hilbert's second lecture on the foundations of mathematics Bernays (1927) | |
| |
| |
| Appendix to Hilbert's lecture "The foundations of mathematics" Brouwer (1927a) | |
| |
| |
| Intuitionistic reflections on formalism Ackermann (1928) | |
| |
| |
| On filbert's construction of the real numbers Skolem (1928) | |
| |
| |
| On mathematical logic Herbrand (1930) | |
| |
| |
| Investigations in proof theory: The properties of true propositions Gouml;del (l930a) | |
| |
| |
| The completeness of the axioms of the functional calculus of logic Gouml;del (1930b, 1931, and l931a) | |
| |
| |
| Some metamathematical results on completeness and consistency, On formally undecidable propositions of Principia mathematica and related systems I, and On completeness and consistencyHerbrand (1931b) | |
| |
| |
| On the consistency of arithmetic | |
| |
| |
| References | |
| |
| |
| Index | |