Betrachten wir den Satz: „Es gibt eine
Klasse mit nur einem Glied”. Oder, was auf dasselbe hinauskommt 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!