ZFC: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: - Axioma del Esquema de + Axioma de l'Esquema de |
m Corregit: - primer en utilitzar + primer a utilitzar |
||
Línia 84:
==Història==
Tot i que es poden trobar antecedents en les obres de diferents matemàtics alemanys com [[Bernard Bolzano|Bolzano]] (el primer
Per arribar a una axiomatització precisa va caldre, no obstant, esperar a les contribucions de Zermelo de 1904 (demostració del [[teorema del bon ordre]]) i, sobretot, de 1908.<ref>{{Versaleta|Ferreirós}}, pàgina 317 i següents.</ref> Aquestes van ser posteriorment ampliades i sistematitzades per [[Abraham Fraenkel|Fraenkel]]<ref>{{Versaleta|Ferreirós}}, pàgina 366 i següents.</ref> i [[Thoralf Skolem|Skolem]]<ref>{{Versaleta|Ferreirós}}, pàgina 357 i següents.</ref> en el que avui es coneix com teoria ZFC.
|