Axiomatische verzamelingenleer: verschil tussen versies

Als een '''axiomatische verzamelingenleer''' geldt elke [[axioma|axiomatisering]] van de [[verzamelingenleer]], die de bekende [[antinomie]]ën van de [[naïeve verzamelingenleer]] vermijdt. De meest wijdverbreide axiomatisering in de moderne wiskunde is de [[Zermelo-Fraenkel -verzamelingenleer]], al of niet met [[keuzeaxioma]], respectievelijk "ZFC" en "ZF" (De "C" staat hier voor "choice", het Engelse woord voor keuze).