Diferència entre revisions de la pàgina «Classe (matemàtiques)»

Salta a la navegació Salta a la cerca
m
Robot: Reemplaçament automàtic de text (- + )
m (r2.7.1) (Robot afegeix: nn:Klasse i matematikk)
m (Robot: Reemplaçament automàtic de text (- + ))
 
==Classes en teories formals de conjunts==
La [[teoria de Zermelo-Fraenkel]] no formalitza la noció de classe, però poden ser descrites en [[metallenguatge]] com una classe equivalent de formules 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.
 
Ja que les classes no tenen cap estatus formal a la teoria ZF, els axiomes de ZF no s'apliquen a les classes. Tot i això, si s'assumeix un [[cardinal inaccessible]] k, llavors els conjunts del rang mínim d'un model ZF i els seus subconjunt poden ser tractats com “classes”.
851.856

modificacions

Menú de navegació