Diferencia entre revisiones de «Teoría de conchuntos»

[[Image:Absolute complement (set teory, Venn diagram).PNG|thumb|300px|[[Diagrama de Venn]] que amostra un conchunto <math>A</math> contenito en atro conchunto <math>U</math> ey a suya esferenziadiferencia <math>A^\complement</math>.]]

A '''tioríateoría de conchuntos''' ye una dibisióndivisión d'as [[Matematicas]] que estudea os [[conchunto]]s. O primer estudeo formal sobre o tema fue reyalizatorealizato por o matematico alemán [[Georg Cantor]], [[Gottlob Frege]] ey [[Julius Wilhelm Richard Dedekind]] en o [[sieglo XIX]] ey dimpués reformulata por [[Zermelo]].

O conzeutoconcepto de conchunto ye intuitibointuitivo ey poderba definir-se como una "colezióncolección d'ochetosobchectos"; asinas que, se puet parlar d'un conchunto de presonas, ciudatz, gafas, lapizeroslapicers u d'o conchunto d'ochetosobchectos que bi ha en un inte dencima d'una mesa. Un conchunto ye bien definito si se sape si un determinato elemento pertenexeperteneixe u no a lo conchunto. O conchunto d'os boligrafos azuls ye bien definito, porque en veyer un boligrafo se puet saper si ye azul u no. O conchunto d'as presonas altas no ye bien definito, ya que en veyer una presona, no siempre se puet dezirdecir si ye alta u no, u puet aberhaber-ie distintas presonas, que opinen si ixa presona ye alta u no'n ye. En o sieglo XIX, seguntes Frege, os elementos d'un conchunto se definiban nomás por una u atra propiedat. AutualmentActualment a tioríateoría de conchuntos ye bien definita por o sistema [[AcsiomasAxiomas de Zermelo-Fraenkel|ZFC]]. Manimenos, contina estando prou conoxitaconoixita la definizióndefinición que publicó Cantor:

{{Cita|Se entiende por '''conchunto''' a l'agrupaziónagrupación en un tot d'ochetosobchectos bien esferenziatosdiferenciatos d'a nuestra intuiziónintuición u a nuestra mente.|[[Georg Cantor]]}}