Die Axiome der Elementargeometrie und der Aussagenkalkül

Vgl. die vorangehende Arbeit von Bergmann, sowie die Arbeit von K. Menger, “Bemerkungen zu Grundlagenfragen IV Jahresbericht der Deutschen Mathematiker-Verenigung, Bd. 37 (1928), p. 309–325.MATHGoogle Scholar

Es werde immer die Aussage non-A mitA bezeichnet.Google Scholar

Das alles gilt offenbar auch dann, wenn bei der Reduktion auf die Elementarsätze einige Wahrbeitskombinationen ausfallen. So fallen fürB=A die zweite und dritte, fürB=A die erste und vierte Möglichkeit aus. Im ersten Fall istC ₁=K, im zweiten Fall=A.Google Scholar

Vgl. Menger, loc. cit. Bemerkungen zu Grundlagenfragen IV. Jahresber M. V. 37, p. 316.Google Scholar