Deine Bemerkungen in der anderen Diskussion kann ich ehrlich gesagt nicht nachvollziehen. Man kann mit deinem Ansatz wohl sinnvolle Sätze über echte Klassen beweisen. Allerdings auch beliebige unsinnvolle. Aus folgt in ZF, in NBG dagegen nicht (Widerspruchsfreiheit von ZF vorausgesetzt). Grüße -- Chricho 21:00, 6. Feb. 2015 (CET)