Zitat von Gerhardvalentin, in Bezug auf "Ferner sind alle eingeführten Variablen als Mengen aufzufassen.", Abschnitt "Die Axiome von ZF und ZFC". "Das originale ZF-System ist verbal und kalkuliert auch Urelemente ein, die keine Mengen sind. Auf solche Urelemente verzichten spätere formalisierte ZF-Systeme meist und setzen damit Fraenkels Ideen vollständig um." Ja, aber nur, wenn man danach sucht und sich einiges vom Artikel durchliest, findet man es !! Im Abschnitt "Die Axiome von ZF und ZFC" wird jedoch das Axiomensystem von Grund auf erklärt, und da, denke ich, gehört es schon dazu, dass man erwähnt, dass alle Variablen als Mengen zu verstehen sind, da es aus dem 1. Axiom allein nicht hervorgeht, denn da werden nur die Variablen A und B (all-) quantisiert, nicht jedoch gesagt, dass es sich dabei um Mengen handeln soll ! ... Wenn man sich dann die Erklärung durchliest, wundert man sich, warum da auf einmal von Mengen die Rede ist, obwohl das im Axiom gar nicht direkt so drinsteht. Und man will sich doch nicht in jedem WP-Artikel erst die ganze Geschichte durchlesen, nur um eine kleine Information zu bekommen !! Eine solche Erklärung "von Grund auf" sollte ohne Vorkenntnisse auskommen; das wäre am Ziel vorbeiführend in meinen Augen !!! Thomas Limberg (Schmogrow) 20:06, 4. Mai 2015 (CEST)