ZFC: diferència entre les revisions

La teoria axiomàtica de conjunts es desenvolupa en el marc de la [[lògica de primer ordre]], amb els seus símbols habituals de connectives ( <math>\and, \or, \neg, \rightarrow, \leftrightarrow</math>) i de quantificadors ( <math> \forall, \exist</math> ), més el predicat d'igualtat (<math>=</math>) i una relació binària de pertinença (<math>\in</math>). Denotem amb majúscules els conjunts i amb minúscules els elements d'un conjunt (que, òbviament, poden ser altres conjunts). Existeixen diverses formalitzacions equivalents dels axiomes; seguim la proposada per Thomas Jech.<ref>{{Versaleta|Jech}}, pàgina 3.</ref>

===1 Axioma d'Extensionalitat ===

Si <math>X</math> i <math>Y</math> tenen els mateixos elements, aleshores <math>X=Y</math>.