1. Bachmann, Friedrich: 1936, ‘Die Begriffe der Abhängigkeit und Entbehrlichkeit von Axiomen in Axiomsystemen, in denen ein Extremalaxiom auftritt’, Actes du Congrès International de Philosophie Scientifique, Paris, 1935, vol. 7 (Logique), Hermann & Cie, Paris, pp. 39–52.
2. Baldus, Richard: 1928, ‘Zur Axiomatik der Geometrie 1: Über Huberts Vollständigkeits-axiom’, Mathematische Annalen
100, 321–33.
3. Baldus, Richard: 1938, ‘Über nicht beweisbare und doch entbehrliche Axiome’, Mathematische Zeitschrift
44, 321–9.
4. Bernays, Paul: 1955, ‘Betrachtungen über das Vollständigkeitsaxiom und verwandte Axiome’, Mathematische Zeitschrift
63, 219–29.
5. Carnap, Rudolf: 1937, Logische Syntax der Sprache, Julius Springer, Wien, 1934; English translation The Logical Syntax of Language, Kegan Paul, Trench, Trubner & Co., London.