{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,10]],"date-time":"2026-05-10T18:30:33Z","timestamp":1778437833723,"version":"3.51.4"},"reference-count":70,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2021,7,22]],"date-time":"2021-07-22T00:00:00Z","timestamp":1626912000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,7,22]],"date-time":"2021-07-22T00:00:00Z","timestamp":1626912000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In his<jats:italic>Doppelvortrag<\/jats:italic>(1901), Edmund Husserl introduced two concepts of \u201cdefiniteness\u201d which have been interpreted as a vindication of his role in the history of completeness. Some commentators defended that the meaning of these notions should be understood as categoricity, while other scholars believed that it is closer to syntactic completeness. A detailed study of the early twentieth-century axiomatics and Husserl\u2019s<jats:italic>Doppelvortrag<\/jats:italic>shows, however, that many concepts of completeness were conflated as equivalent. Although \u201cabsolute definiteness\u201d was principally an attempt to characterize non-extendible manifolds and axiom systems (different from Hilbert\u2019s axiom of completeness), an absolutely definite theory has a unique model and, thus, it is non-forkable and semantically complete (decidable). Non-forkability and decidability were formally delimited by Fraenkel and Carnap almost three decades later and, in fact, they mentioned Husserl as precursor of the latter. Therefore, this paper contributes to a reassessment of Husserl\u2019s place in the history of logic.<\/jats:p>","DOI":"10.1007\/s11787-021-00283-4","type":"journal-article","created":{"date-parts":[[2021,7,22]],"date-time":"2021-07-22T23:13:20Z","timestamp":1626995600000},"page":"57-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Completeness: From Husserl to Carnap"],"prefix":"10.1007","volume":"16","author":[{"given":"V\u00edctor","family":"Aranda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,22]]},"reference":[{"issue":"2","key":"283_CR1","first-page":"109","volume":"49","author":"V Aranda","year":"2020","unstructured":"Aranda, V.: Completeness, categoricity and imaginary numbers: the debate on Husserl. Bull. Sect. Logic 49(2), 109\u2013125 (2020)","journal-title":"Bull. Sect. Logic"},{"issue":"2","key":"283_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1023\/A:1005622201768","volume":"54","author":"S Awodey","year":"2001","unstructured":"Awodey, S., Carus, A.: Carnap, completeness, and categoricity: the Gabelbarkeitssatz of 1928. Erkenntnis 54(2), 145\u2013172 (2001)","journal-title":"Erkenntnis"},{"issue":"1","key":"283_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01445340210146889","volume":"23","author":"S Awodey","year":"2002","unstructured":"Awodey, S., Reck, E.: Completeness and categoricity. Part 1: nineteenth-century axiomatics to twentieth-century metalogic. Hist. Philos. Logic 23(1), 1\u201330 (2002)","journal-title":"Hist. Philos. Logic"},{"issue":"2","key":"283_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1080\/0144534021000028619","volume":"23","author":"S Awodey","year":"2002","unstructured":"Awodey, S., Reck, E.: Completeness and categoricity. Part 2: twentieth-century metalogic to twenty-first-century semantics. Hist. Philos. Logic 23(2), 77\u201394 (2002)","journal-title":"Hist. Philos. Logic"},{"issue":"1","key":"283_CR5","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/BF01448848","volume":"100","author":"R Baldus","year":"1928","unstructured":"Baldus, R.: Zur Axiomatik der Geometrie I. \u00e4ber Hilberts Vollst\u00e4tndigkeitsaxiom. Math. Ann. 100(1), 321\u2013333 (1928)","journal-title":"Math. Ann."},{"key":"283_CR6","first-page":"222","volume-title":"David Hilbert\u2019s Lectures on the Foundations of Arithmetic and Logic: 1917\u20131933","author":"P Bernays","year":"2013","unstructured":"Bernays, P.: Beitr\u00e4ge zur axiomatischen Behandlung des Logik-Kalk\u00fcls [1918]. In: Ewald, W., Sieg, W. (eds.) David Hilbert\u2019s Lectures on the Foundations of Arithmetic and Logic: 1917\u20131933, pp. 222\u2013273. Springer, Berlin (2013) . (first time published)"},{"key":"283_CR7","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1090\/S0002-9904-1904-01195-7","volume":"10","author":"M B\u00f4cher","year":"1904","unstructured":"B\u00f4cher, M.: The fundamental conceptions and methods of mathematics. Bull. Am. Math. Soc. 10, 115\u2013135 (1904)","journal-title":"Bull. Am. Math. Soc."},{"key":"283_CR8","unstructured":"Carnap, R.: Untersuchungen zur allgemeinen Axiomatik. Wissenschaftliche Buchgesellschaft, Darmstadt (2000) [1927\u20131929]"},{"key":"283_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3246-1","volume-title":"Logic and Philosophy of Mathematics in the Early Husserl","author":"S Centrone","year":"2010","unstructured":"Centrone, S.: Logic and Philosophy of Mathematics in the Early Husserl. Springer, Berlin (2010)"},{"key":"283_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1080\/01445348008837010","volume":"1","author":"J Corcoran","year":"1980","unstructured":"Corcoran, J.: Categoricity. Hist. Philos. Logic 1, 187\u2013207 (1980)","journal-title":"Hist. Philos. Logic"},{"issue":"3","key":"283_CR11","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1023\/A:1005265017902","volume":"125","author":"JJ Da Silva","year":"2000","unstructured":"Da Silva, J.J.: Husserl\u2019s two notions of completeness. Synthese 125(3), 417\u2013438 (2000)","journal-title":"Synthese"},{"key":"283_CR12","unstructured":"Da Silva, J.J.: Husserl and Hilbert on completeness and imaginary elements. In: Ortiz Hill, C., Da Silva, J.J. (eds.) The Road Not Taken. On Husserl\u2019s Philosophy of Logic and Mathematics, pp. 115\u2013136. College Publications (2013)"},{"key":"283_CR13","unstructured":"Da Silva, J.J.: The many senses of completeness. In: Ortiz Hill, C., Da Silva, J. J (eds.) The Road Not Taken. On Husserl\u2019s Philosophy of Logic and Mathematics, pp. 137\u2013150. College Publications (2013)"},{"issue":"6","key":"283_CR14","doi-asserted-by":"publisher","first-page":"1925","DOI":"10.1007\/s11229-015-0821-2","volume":"193","author":"JJ Da Silva","year":"2016","unstructured":"Da Silva, J.J.: Husserl and Hilbert on completeness, still. Synthese 193(6), 1925\u20131947 (2016)","journal-title":"Synthese"},{"key":"283_CR15","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-540-69444-1","volume-title":"David Hilbert\u2019s Lectures on the Foundations of Arithmetic and Logic: 1917\u20131933","author":"W Ewald","year":"2013","unstructured":"Ewald, W.: Introduction to the Bernays habilitationschrift. In: Ewald, W., Sieg, W. (eds.) David Hilbert\u2019s Lectures on the Foundations of Arithmetic and Logic: 1917\u20131933, pp. 222\u2013230. Springer, Berlin (2013)"},{"key":"283_CR16","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-69444-1","volume-title":"David Hilbert\u2019s Lectures on the Foundations of Arithmetic and Logic: 1917\u20131933","author":"W Ewald","year":"2013","unstructured":"Ewald, W., Sieg, W.: Introduction to prinzipien der mathematik. In: Ewald, W., Sieg, W. (eds.) David Hilbert\u2019s Lectures on the Foundations of Arithmetic and Logic: 1917\u20131933, pp. 32\u201358. Springer, Berlin (2013)"},{"key":"283_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-25900-9","volume-title":"Einleitung in die Mengenlehre","author":"AA Fraenkel","year":"1923","unstructured":"Fraenkel, A.A.: Einleitung in die Mengenlehre, 2nd edn. Springer, Berlin (1923)","edition":"2"},{"key":"283_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-42029-4","volume-title":"Einleitung in die Mengenlehre","author":"AA Fraenkel","year":"1928","unstructured":"Fraenkel, A.A.: Einleitung in die Mengenlehre, 3rd edn. Springer, Berlin (1928)","edition":"3"},{"key":"283_CR19","volume-title":"The Foundations of Arithmetic","author":"G Frege","year":"1960","unstructured":"Frege, G.: The Foundations of Arithmetic. Harper & Brothers, New York (1960)"},{"issue":"1","key":"283_CR20","first-page":"139","volume":"28","author":"EN Giovannini","year":"2013","unstructured":"Giovannini, E.N.: Completitud y continuidad en Fundamentos de la geometr\u00eda de Hilbert: acerca del Vollst\u00e4ndigkeitsaxiom. THEORIA. Rev Teor\u00eda Hist Fundam Ciencia 28(1), 139\u2013163 (2013)","journal-title":"Rev Teor\u00eda Hist Fundam Ciencia"},{"key":"283_CR21","unstructured":"Hankel, H.: Theorie der complexen Zahlensysteme: insbesondere der gemeinen imagin\u00e4ren Zahlen und der Hamilton\u2019schen Quaternionen, nebst ihrer geometrischen Darstellung. Lewopold Voss (1867)"},{"issue":"2","key":"283_CR22","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s11229-006-0008-y","volume":"156","author":"M Hartimo","year":"2007","unstructured":"Hartimo, M.: Towards completeness: Husserl on theories of manifolds. Synthese 156(2), 281\u2013310 (2007)","journal-title":"Synthese"},{"key":"283_CR23","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-94-024-1132-4_11","volume-title":"Essays on Husserl\u2019s Logic and Philosophy of Mathematics","author":"M Hartimo","year":"2017","unstructured":"Hartimo, M.: Husserl and Hilbert. In: Centrone, S., Da Silva, J.J. (eds.) Essays on Husserl\u2019s Logic and Philosophy of Mathematics, pp. 245\u2013263. Springer, Berlin (2017)"},{"issue":"4","key":"283_CR24","doi-asserted-by":"publisher","first-page":"1509","DOI":"10.1007\/s11229-016-1278-7","volume":"195","author":"M Hartimo","year":"2018","unstructured":"Hartimo, M.: Husserl on completeness, definitely. Synthese 195(4), 1509\u20131527 (2018)","journal-title":"Synthese"},{"key":"283_CR25","doi-asserted-by":"crossref","unstructured":"Hilbert, D.: Les Principes Fondamentaux de la G\u00e9om\u00e9trie. Gauthier-Villars, Paris (1900) (Translated by L. Laugel)","DOI":"10.24033\/asens.479"},{"key":"283_CR26","unstructured":"Hilbert, D.: \u00dcber den Zahlbegriff. Jahresbericht der Deutschen Mathematiker-Vereinigung, 8, 180\u2013184. English translation in Ewald W. (ed.) (1996), pp. 1089\u20131096. (1900)"},{"key":"283_CR27","first-page":"1096","volume-title":"From Kant to Hilbert: A Source Book in the Foundations of Mathematics","author":"D Hilbert","year":"1996","unstructured":"Hilbert, D.: On the concept of number [1900]. In: Ewald, W. (ed.) From Kant to Hilbert: A Source Book in the Foundations of Mathematics, vol. 2, pp. 1096\u20131105. Oxford University Press, Oxford (1996)"},{"key":"283_CR28","volume-title":"Grundlagen der Geometrie","author":"D Hilbert","year":"1903","unstructured":"Hilbert, D.: Grundlagen der Geometrie. Teubner, Leipzig (1903)"},{"key":"283_CR29","doi-asserted-by":"crossref","unstructured":"Hilbert, D.: \u00dcber das Unendliche. Math. Ann. 95, 161\u2013190. English translation in van Heijenoort (1967), pp. 367\u2013392. (1926)","DOI":"10.1007\/BF01206605"},{"key":"283_CR30","first-page":"367","volume-title":"From Frege to G\u00f6del: A Source Book in Mathematical Logic","author":"D Hilbert","year":"1967","unstructured":"Hilbert, D.: On the infinite [1926]. In: van Heijenoort, J. (ed.) From Frege to G\u00f6del: A Source Book in Mathematical Logic, pp. 367\u2013392. Harvard University Press, Harvard (1967)"},{"key":"283_CR31","unstructured":"Hilbert, D.: Prinzipien der Mathematik [1917-18]. In: Ewald W., Sieg W. (eds.) David Hilbert\u2019s Lectures on the Foundations of Arithmetic and Logic: 1917\u20131933, pp. 59\u2013215. (first time published). Springer, Berlin (2013)"},{"key":"283_CR32","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1093\/aristotelian\/86.1.135","volume":"86","author":"W Hodges","year":"1985","unstructured":"Hodges, W.: Truth in a structure. Proc. aristot. Soc. 86, 135\u2013151 (1985)","journal-title":"Proc. aristot. Soc."},{"issue":"2","key":"283_CR33","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1090\/S0002-9947-1902-1500598-9","volume":"3","author":"EV Huntington","year":"1902","unstructured":"Huntington, E.V.: A complete set of postulates for the theory of absolute continuous magnitude. Trans. Am. Math. Soc. 3(2), 264\u2013279 (1902)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"283_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/1967426","volume":"8","author":"EV Huntington","year":"1906","unstructured":"Huntington, E.V.: The fundamental laws of addition and multiplication in elementary algebra. Ann. Math. 8(1), 1\u201344 (1906)","journal-title":"Ann. Math."},{"key":"283_CR35","unstructured":"Husserl, E.: Besprechung von E. Schr\u00f6der, Vorlesungen \u00fcber die Algebra der Logik (Exakte Logik), Part I. In: Gottingsche gelehrte Anzeigen, pp. 243\u2013278. G\u00f6ttingen (1891)"},{"issue":"1","key":"283_CR36","first-page":"1","volume":"1","author":"E Husserl","year":"1913","unstructured":"Husserl, E.: Ideen zu einer reinen Ph\u00e4nomenologie und ph\u00e4nomenologischen Philosophie. Jahrbuch f\u00fcr Philos. Ph\u00e4nomenol. Forschung 1(1), 1\u2013323 (1913)","journal-title":"Jahrbuch f\u00fcr Philos. Ph\u00e4nomenol. Forschung"},{"key":"283_CR37","volume-title":"Ideas pertaining to a pure phenomenology and to a phenomenological philosophy: first book: general introduction to a pure phenomenology","author":"E Husserl","year":"2012","unstructured":"Husserl, E.: Ideas pertaining to a pure phenomenology and to a phenomenological philosophy: first book: general introduction to a pure phenomenology, vol. 2. Martinus Nijhoff, The Hague (2012)"},{"key":"283_CR38","volume-title":"Formale und Transzendentale Logik","author":"E Husserl","year":"1929","unstructured":"Husserl, E.: Formale und Transzendentale Logik. Max Niemeyer Verlag, Halle (1929)"},{"key":"283_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-4900-8","volume-title":"Formal and Transcendental Logic","author":"E Husserl","year":"1969","unstructured":"Husserl, E.: Formal and Transcendental Logic. Martinus Nijhoff, The Hague (1969)"},{"key":"283_CR40","volume-title":"Philosophie der Arithmetik","author":"E Husserl","year":"1970","unstructured":"Husserl, E.: Philosophie der Arithmetik. Martinus Nijhoff, The Hague (1970)"},{"key":"283_CR41","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0060-4","volume-title":"Philosophy of Arithmetic: Psychological and Logical Investigations with Supplementary Texts from 1887\u20131901","author":"E Husserl","year":"2003","unstructured":"Husserl, E.: Philosophy of Arithmetic: Psychological and Logical Investigations with Supplementary Texts from 1887\u20131901. Springer, Dordrecht (2003)"},{"key":"283_CR42","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4685-1","volume-title":"A History of Abstract Algebra","author":"I Kleiner","year":"2007","unstructured":"Kleiner, I.: A History of Abstract Algebra. Birkh\u00e4user, Berlin (2007)"},{"issue":"1","key":"283_CR43","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1004962922108","volume":"110","author":"U Majer","year":"1997","unstructured":"Majer, U.: Husserl and Hilbert on completeness. Synthese 110(1), 37\u201356 (1997)","journal-title":"Synthese"},{"key":"283_CR44","volume-title":"The Adventure of Reason. Interplay between Mathematical Logic and Philosophy of Mathematics: 1900\u20131940","author":"P Mancosu","year":"2010","unstructured":"Mancosu, P.: The Adventure of Reason. Interplay between Mathematical Logic and Philosophy of Mathematics: 1900\u20131940. Oxford University Press, Oxford (2010)"},{"key":"283_CR45","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538516.001.0001","volume-title":"Model Theory","author":"M Manzano","year":"1999","unstructured":"Manzano, M.: Model Theory. Oxford University Press, Oxford (1999)"},{"issue":"1","key":"283_CR46","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1080\/01445340.2013.816555","volume":"35","author":"M Manzano","year":"2014","unstructured":"Manzano, M., Alonso, E.: Completeness: from G\u00f6del to Henkin. Hist. Philos. Logic 35(1), 50\u201375 (2014)","journal-title":"Hist. Philos. Logic"},{"issue":"1","key":"283_CR47","first-page":"65","volume":"12","author":"GH Moore","year":"1997","unstructured":"Moore, G.H.: Hilbert and the emergence of modern mathematical logic. Theoria 12(1), 65\u201390 (1997)","journal-title":"Theoria"},{"key":"283_CR48","doi-asserted-by":"crossref","unstructured":"Padoa, A.: Essai d\u2019une th\u00e9orie alg\u00e9brique des nombres entiers, pr\u00e9cd\u00e9 d\u2019une introduction logique \u00e0 une th\u00e9orie d\u00e9ductive quelconque. In: Biblioth\u00e8que du Congr\u00e8s International de Philosophie, Volume III, Logique et histoire des sciences, pp. 309\u2013365. Librairie Armand Colin (1901)","DOI":"10.5840\/wcp11901312"},{"key":"283_CR49","unstructured":"Peacock, G.: Report on the recent progress and present state of certain branches of analysis. In: Report of the Meeting of the British Association for the Advancement of Science, pp. 185\u2013352. John Murray, London (1834)"},{"key":"283_CR50","doi-asserted-by":"publisher","first-page":"981","DOI":"10.2307\/2275066","volume":"56","author":"M Scanlan","year":"1991","unstructured":"Scanlan, M.: Who were the American postulate theorists? J. Symbol. Logic 56, 981\u20131002 (1991)","journal-title":"J. Symbol. Logic"},{"key":"283_CR51","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1080\/01445340310001599588","volume":"24","author":"M Scanlan","year":"2003","unstructured":"Scanlan, M.: American postulate theorists and Alfred Tarski. Hist. Philos. Logic 24, 307\u201325 (2003)","journal-title":"Hist. Philos. Logic"},{"issue":"3","key":"283_CR52","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/s10670-012-9365-8","volume":"78","author":"G Schiemer","year":"2013","unstructured":"Schiemer, G.: Carnap\u2019s early semantics. Erkenntnis 78(3), 487\u2013522 (2013)","journal-title":"Erkenntnis"},{"issue":"1","key":"283_CR53","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s11229-015-0877-z","volume":"194","author":"G Schiemer","year":"2017","unstructured":"Schiemer, G., Zach, R., Reck, E.: Carnap\u2019s early metatheory: scope and limits. Synthese 194(1), 33\u201365 (2017)","journal-title":"Synthese"},{"key":"283_CR54","volume-title":"Vorlesungen \u00dcber die Algebra der Logik (exacte Logik). Part I","author":"E Schr\u00f6der","year":"1891","unstructured":"Schr\u00f6der, E.: Vorlesungen \u00dcber die Algebra der Logik (exacte Logik). Part I. Teurner, Leipzig (1891)"},{"key":"283_CR55","unstructured":"Skolem, T.: Selected Works in Logics (Edited by J. E. Fenstad). Universitetsforlagest, Oslo (1970)"},{"key":"283_CR56","doi-asserted-by":"crossref","unstructured":"Tarski, A.: Einige Betrachtungen \u00dcber die Begriffe der $$\\omega $$-Widerspruchsfreiheit und der $$\\omega $$-Vollst\u00e4ndigkeit. Monatshefte f\u00fcr Mathematik und Physik, 40, 97\u2013112. English translation in Tarski (1983), pp. 279\u2013295 (1933)","DOI":"10.1007\/BF01708855"},{"key":"283_CR57","unstructured":"Tarski, A.: Some observations on the concepts of $$\\omega $$-consistency and $$\\omega $$-completeness. In: Logic, Semantics, Metamathematics: Papers from 1923 to 1938, pp. 279\u2013295. Hackett Publishing Company, Indianapolis (1983)"},{"key":"283_CR58","unstructured":"Tarski, A.: Der Wahrheitsbegriff in den formalisierten Sprachen. Stud. Philos. 1, 261\u2013405. English translation in Tarski (1983), pp. 152\u2013278 (1935)"},{"key":"283_CR59","unstructured":"Tarski, A.: The concept of truth in formalized languages. In: Logic, Semantics, Metamathematics: Papers from 1923 to 1938, pp. 152\u2013278. Hackett Publishing Company, Indianapolis (1983)"},{"key":"283_CR60","unstructured":"Tarski, A.: \u00dcber den Begriff der logischen Folgerung. Actes du Congr\u00e1s International de Philosophie Scientifique 7, Actualit\u00eds Scientifiques et Industrielles, 1\u201311. English translation in Tarski (1983), pp. 409-420. (1936)"},{"key":"283_CR61","unstructured":"Tarski, A.: On the concept of logical consequence. In: Logic, Semantics, Metamathematics: Papers from 1923 to 1938, pp. 409\u2013420. Hackett Publishing Company, Indianapolis (1983)"},{"key":"283_CR62","unstructured":"Tarski, A.: On the completeness and categoricity of deductive systems. In: The Adventure of Reason. Interplay Between Philosophy of Mathematics and Mathematical Logic: 1900\u20131940, pp. 485\u2013492 (first time published). Oxford University Press, Oxford (1940)"},{"key":"283_CR63","unstructured":"Tarski, A. and Lindenbaum, A.: \u00dcber die Beschr\u00e4nktheit der Ausdrucksmittel deduktiver Theorien. Ergebnisse Eines Math. Kolloqu. 7, 15\u201322. English translation in Tarski (1983), pp. 384\u2013392 (1936)"},{"key":"283_CR64","unstructured":"Tarski, A., Lindenbaum, A.: On the limitations of the means of expression of deductive theories. In: Logic, Semantics, Metamathematics: Papers from 1923 to 1938, pp. 384\u2013392. Hackett Publishing Company, Indianapolis (1983)"},{"issue":"5","key":"283_CR65","first-page":"257","volume":"97","author":"N Tennant","year":"2000","unstructured":"Tennant, N.: Deductive versus expressive power: a pre-G\u00f6delian predicament. J. Philos. 97(5), 257\u2013277 (2000)","journal-title":"J. Philos."},{"key":"283_CR66","unstructured":"Torretti, R.: El para\u00edso de Cantor. La tradici\u00f3n Conjuntista en la Filosof\u00eda Matem\u00e1tica. Editorial universitaria, Santiago de Chile (1998)"},{"issue":"3","key":"283_CR67","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1090\/S0002-9947-1904-1500678-X","volume":"5","author":"O Veblen","year":"1904","unstructured":"Veblen, O.: A system of axioms for geometry. Trans. Am. Math. Soc. 5(3), 343\u2013384 (1904)","journal-title":"Trans. Am. Math. Soc."},{"key":"283_CR68","first-page":"21","volume":"68","author":"O Veblen","year":"1906","unstructured":"Veblen, O.: The foundations of geometry: a historical sketch and a simple example. Pop. Sci. Mon. 68, 21\u201328 (1906)","journal-title":"Pop. Sci. Mon."},{"key":"283_CR69","unstructured":"Weyl, H.: \u00dcber die Defitionen der mathematischen Grundbegriffe. Math. Bl\u00e4tter 7, 93\u201395, 109\u2013113 (1910)"},{"issue":"3","key":"283_CR70","doi-asserted-by":"publisher","first-page":"331","DOI":"10.2307\/421184","volume":"5","author":"R Zach","year":"1999","unstructured":"Zach, R.: Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Bull. Symbol. Logic 5(3), 331\u2013366 (1999)","journal-title":"Bull. Symbol. Logic"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-021-00283-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-021-00283-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-021-00283-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T10:52:50Z","timestamp":1699267970000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-021-00283-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,22]]},"references-count":70,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["283"],"URL":"https:\/\/doi.org\/10.1007\/s11787-021-00283-4","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,22]]},"assertion":[{"value":"30 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 June 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 July 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}