Zermelo-Fraenkels mängdteori
Från Rilpedia
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".
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