Classe (matemàtiques): diferència entre les revisions

La [[ZFC|teoria de Zermelo-Fraenkel]] no formalitza la noció de classe, però poden ser descrites en [[metallenguatge]] com una classe equivalent de formulesfórmules lògiques. Per exemple, si <math>\mathcal A</math> és una [[estructura]] interpretant ZF, llavors l'expressió en metallenguatge <math>\{x\mid x=x \}</math> s'interpreta en <math>\mathcal A</math> per la col·lecció de tots els elements del domini <math>\mathcal A</math>: això és, tots els conjunts d'<math>\mathcal A</math>. Per tant podem identificar les "classes de conjunts" amb el predicat ''x=x'' o qualsevol altre predicat equivalent.