Zermelo-Fraenkels mängdteori

Zermelo-Fraenckels mängdteori med urvalsaxiomet (förkortat ZFC) är ett axiomsystem för mängder, formaliserat i första ordningens logik med hjälp av ett språk som består av en icke-logisk symbol som betecknar elementrelationen, . ZFC betraktas allmänt som en adekvat axiomatisk grund för i stort sett all matematik.