Betrachten wir den Satz: „Es giebt eine
Klasse mit nur einem Glied”. Oder, was auf dasselbe hinaus[g|k]omm[g|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!