The independence of Quine's axioms *200 and *201. (Q2579584): Difference between revisions

Zwei Unabhängigkeitsbeweise für die angezeigten Axiome von \textit{W. V. Quines} ``Mathematical logic'' (New York 1940; F. d. M. 66, 27 (JFM 66.0027.*)). Da dieses Buch dem Ref. nicht zugänglich ist, und da die Axiome, für welche die Unabhängigkeit bewiesen wird, nicht explizit angegeben sind, so muß das Referat auf die beiden folgenden Mitteilungen beschränkt werden: (1) Die Unabhängigkeit von *200 wird bewiesen durch ein einzahliges Widerlegungsmodell; (2) Die Unabhängigkeit von *201 wird auf eine originelle Art so gezeigt, daß Folgendes bewiesen wird: Wenn das System von Quine konsistent ist, so ist *201 von den übrigen Axiomen unabhängig. Verf. nennt diese Art von Unabhängigkeit ``contingent independence''. Ob für das System von Quine die Konsistenz bewiesen ist oder nicht, ist aus dieser Notiz nicht erkennbar.