Moin, die Mengenlehre ist eine axiomatische Theorie der Prädikatenlogik. Daher ist es notwendig, die Axiome auch in der Sprache der Prädikatenlogik aufzuschreiben. Diese Sprache muss man - zumindest so halbwegs - verstanden haben, um die (axiomatische) Mengenlehre (also das System ZFC) zu verstehen; da führt (auch für den Laien) kein Weg dran vorbei. Im genannten Artike werden alle relevanten Zeichen (, etc) gut erklärt. Die Erklärung/Bedeutung für diese Formeln/Axiome ist doch explizit angegeben, sie steht sogar vor der Formalisierung. Was genau ein "Beispiel anhand von Zahlen" für ein mathematisches Axiom sein soll, erschließt sich mir nicht. Die Mathematik ist definitiv nicht (nur) die Wissenschaft der Zahlen, die Verwendung der Mengenlehre (deren Objekte allesamt Mengen, und nicht Zahlen sind) als Grundlagentheorie zeigt dies ja sehr deutlich. Gruß, -- SnowIsWhite 15:42, 15. Jun. 2011 (CEST)