Es geht ja gerade darum, nicht von Anfang an A und B (1. Axiom) auf Mengen zu beschränken. Im 1. Axiom steht nämlich das Wort "Menge" gar nicht drin!! A und B müssen also gar keine Mengen sein. Thomas Limberg (Schmogrow) 3 00:19, 2. Feb. 2015 (CET)