ZFC

La Teoria de conjunts de Zermelo-Fraenkel (ZFC) és el conjunt d'axiomes canònic de la teoria de conjunts. El seu nom es deu als matemàtics que la van desenvolupar: Ernst Zermelo i Abraham Fraenkel i la C per la inclusió de l'axioma d'elecció (Choice en anglès). Existeixen altres conjunts d'axiomes de la Teoria de Conjunts com el NBG (von Neumann, Bernays, Gödel), el TG (Tarski, Grothendieck) i el MK (Morse, Kelley), però són extensions conservadora, no conservadora i pròpia, respectivament, de ZFC.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne