Teoria de conjunts: diferència entre les revisions

Contingut suprimit Contingut afegit
m Robot afegeix: jv:Téori himpunan
Paradoxa de Skolem
Línia 206:
 
La teoria de conjunts com a fonament per [[anàlisi matemàtica]], la [[topologia]], l'[[àlgebra abstracta]], i les [[matemàtiques discretes]] és de la mateixa manera incontrovertida; els matemàtics accepten que (en principi) els teoremes en aquestes àrees poden ser deduïts de les definicions pertinents i els axiomes de la teoria de conjunts. S'han verificat formalment poques deduccions completes de teoremes matemàtics complexos a partir de la teoria de conjunt, tanmateix, perquè tals deduccions formals són sovint molt més llargues que el llenguatge natural amb el que els matemàtics presenten habitualment les demostracions.
 
== Articles relacionats ==
* [[Paradoxa de Skolem]]
 
== Referències ==
{{Referències|2}}
<references/>
 
 
{{ORDENA:Teoria De Conjunts}} <!--ORDENA generat per bot-->
{{1000 Ciències naturals}}
{{ORDENA:Teoria De Conjunts}} <!--ORDENA generat per bot-->
 
[[Categoria:Teoria de conjunts| ]]
[[Categoria:Desenvolupament de programari]]
[[Categoria:Matemàtica discreta]]
 
[[am:ሥነ ስብስብ]]