Some concepts concerning formal systems of number theory
- 1 December 1952
- journal article
- Published by Springer Nature in Mathematische Zeitschrift
- Vol. 57 (1) , 1-12
- https://doi.org/10.1007/bf01192912
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- On the concepts of completeness and interpretation of formal systemsFundamenta Mathematicae, 1952
- Note on arithmetic models for consistent formulae of the predicate calculusFundamenta Mathematicae, 1950
- On definable sets of positive integersFundamenta Mathematicae, 1947
- Zur Widerspruchsfreiheit der ZahlentheorieMathematische Annalen, 1940
- The Principles of Mathematics. By Bertrand Russell. Reprint, with new introduction. Pp. xxxix, 534. 18s. 1937. (Allen & Unwin)The Mathematical Gazette, 1938
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931