“Jedes Ding hat einen und nur einen Vorgänger; a hat keinen Nachkommen; alle Dinge ausser a haben einen und nur einen Nachkommen.” Diese Sätze scheinen eine unendliche Reihe zu beschreiben (und daher auch zu sagen, dass es unendlich viele Dinge gibt. Aber dies Letztere wäre Voraussetzung dafür, dass 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 wor ist diese Struktur in ihnen zu finden? – Der Satz muss, wenn es nur endlich viele Dingen gibt, zu einem Widerspruch führen. Wie kommt der zustande? Jedenfalls, wenn wir von dem allgemeinen Satz aufb seine Spezialfälle schliessen.

✓ –