ZFC
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".
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".