11.11.14.
Da „a = b” kein Satz; „x = y” keine Funktion ist so ist eine ‚Klasse x̂ (x = x)’ ein Unding und ebenso die sogenannte Nullklasse. (Man hatte übrigens immer schon das Gefühl daß überall da wo man sich in Satzkonstruktionen mit x = x, a = a, etc. half, daß es sich in allen solchen Fällen um ein sich-heraus-schwindeln handelte; so wenn man sagte „a existiert” heißt „(∃x) x = a”.)
Dies ist falsch: da die Definition der Klassen selbst die Existenz der wirklichen Funktionen verbürgt.