„Jedes Ding hat einen & nur einen Vorgänger.
a hat keinen Nachkommen.
Alle Dinge außer a haben einen & nur einen
Nachkommen.”
Diese Sätze
scheinen eine unendliche Reihe zu beschreiben (&
daher auch zu sagen daß es unendlich viele Dinge gibt.
Aber dies letztere wäre Voraussetzung dafür, daß die Sätze Sinn
hätten
.)
Sie scheinen eine
Struktur amorph zu
beschreiben.
Wir können nach diesen Sätzen eine Struktur aufzeichnen die sie eindeutig
beschreiben.
Aber wo ist diese Struktur in ihnen zu finden? –
Der Satz muß, wenn es
nur endlich viele Dinge gibt zu einem Widerspruch
führen.
Wie kommt der zu Stande?
Jedenfalls wenn wir von dem
allgemei
nen Satz auf seine Spezialfälle
schließen
.
Wenn „a” „b”
„c” die Namen aller Dinge sind dann folgt aus
dem
obigen Satz || den obigen Sätzen ein Satz wie:
aRb
∙ bRc : cRa ⌵ cRb :
~cRa ∙ ~cRb, eine
Kontradi
ktion.