Nach meiner Definition der Klassen ist (x).~ x̂(φx) die Aussage daß x̂(φx) null ist und die Definition der Null ist dann 0 = α̂ [(x).~α] Def.