Betrachten
wir den Satz: „Es gibt eine
Klasse mit nur einem Glied”.
Oder, was auf
dasselbe hinaus
komm
t den Satz:
(∃φ)
:. (∃x) : φx : φy
. φz . ⊃
y,z. y = z
Bei „(∃x)x = x”
konnte man verstehen daß er tautologisch sei da er
überhaupt nicht hingeschrieben werden könnte wenn er
falsch wäre, aber hier!
Dieser Satz kann
an Stelle des infin. ax. untersucht werden!