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