Zermelo-Fraenkels mängdteori

Från Wikipedia

ZFC är Zermelo-Fraenkels mängdteori inklusive urvalsaxiomet (eng: Axiom of Choice). C:et i ZFC kommer följaktligen av första bokstaven i "Choice".

[redigera] Externa länkar

• [http://de2.metamath.org/mpegif/mmset.html En fullständigt formaliserad uppbyggnad av matematiken från grunden, baserad på ZFC samt de logiska axiomen