Lexikon der Argumente

 

IX 217
Induktion/Quine: wegen der trügerischen Unendlichkeit/ Endlichkeit: Problem der Eindeutigkeit der Subtraktion: erst dann eindeutig, wenn eine natürliche Zahl n sich als Λ erweist, weil keine Klasse genug Elemente hat (nämlich n), um als Element von n in Frage z kommen.
Lösung: wir müssten zeigen, dass keine natürliche Zahl sich in dieser Weise als L herausstellen kann, kurz, dass Λ ε N. - Problem: können wir das in New Foundations beweisen? Zugegeben, ϑ ε ϑ, zugegeben, in ϑ gibt es endlos viele Elemente Λ, {Λ], {{Λ}},... die alle verschieden sind, dennoch ist der Beweis nicht möglich.
>Beweis, >Beweisbarkeit, >Zahlen, >Unendlichkeit, >Entscheidbarkeit.