So!! Ich war jetzt eine ganze Weile mit anderen Dingen beschäftigt. Jetzt versuche ich, hier ein bisschen weiterzudiskutieren. Nein, ich sehe es nicht so, dass dieser Abschnitt archiviert werden kann. Aus der bisherigen Diskussion habe ich den Eindruck gewonnen, dass A und B (1. Axiom ZF/ZFC) nicht notwendigerweise von vornherein Mengen sein müssen. Wenn du das also anders siehst, dann solltest du das belegen. Wenn es in ZF/ZFC nur Mengen und keine sonstigen Entitäten gäbe, würde man folgenden Satz im Artikel nicht schreiben: