Téori impunan: Béda antara owahan

Menyang navigasi Menyang panggolèkan
3.640 bèt wis ditambahake ,  5 taun kepungkur
tanpa ringkesan besutan
c (Bot: Migrating 85 interwiki links, now provided by Wikidata on d:q12482 (translate me))
<!-- Brief summary of article; talks about sets as collections of distinct objects, mentions that they have many uses in mathematics and that mathematics can be coded in set theory, and that enough of set theory can be axiomatized to do most of mathematics. Remains neutral on whether the subject is defined by its axioms or by its intended interpretation. If the antinomies are mentioned, should not assert that axiomatization is the solution, but should mention that some consider them to have been solved by axiomatization, others by the cumulative hierarchy.
{{rapikan}}
-->
Himpunan iku kumpulan saka obyék-obyék sing ana ing siji kumpulan karo katrangane jelas.
[[Image:Venn A intersect B.svg|thumb|right|A [[Venn diagram]] illustrating the [[intersection (set theory)|intersection]] of two [[set (mathematics)|sets]].]]
'''Téori himpunan''' iku cabang [[logika matématika]] sing nyinaoni [[Himpunan (matématika)|himpunan]], kang ora resminé yaiku kumpulan barang. Senajan sembarang tipe obyèk bisa diklumpukake menyang himpunan, téori himpunan digunakaké paling kereb kanggo obyek sing cocog kanggo matématika. Basa téori himpunan bisa digunakake ing ukara saklawasé kabeh [[objèk matématika]].
 
Pangkajian modhèrn téori himpunan iki diwiwiti dening [[Georg Cantor]] lan [[Richard Dedekind]] ing 1870-an. Sawisé ditemokaké [[Paradhoks téori himpunan|paradhoks]] ing [[téori himpunan naif]], akeh sistem aksiom padha diajokaké ing awal abad rong puloh, sing paling misuwur yaiku [[Téori himpunan Zermelo-Fraenkel|aksioma Zermelo-Fraenkel]], nganggo [[aksiom pilihan]].
 
Téori himpunan umum digunaaké minangka sistem [[Dhasar matématika|dhasar kanggo matématika]], utamané ing wangun [[téori himpunan Zermelo-Fraenkel]] karo aksiom pilihan. Saknjabane peran dhasaré, téori himpunan iku cabang matématika dhewe, kanthi masyarakat risèt aktif. Risèt kontemporer saka téori himpunan kalebu topik kang werna-werna, saka struktur garis [[wilangan réal]] nganti nyinaoni [[konsistènsi]] saka [[kardinal gedhé]].
 
==Cathetan==
{{Reflist}}
 
==Wacan luwih lanjut==
* [[Keith Devlin|Devlin, Keith]], 1993. ''The Joy of Sets'' (2nd ed.). Springer Verlag, ISBN 0-387-94094-4
* Ferreirós, Jose, 2007 (1999). ''Labyrinth of Thought: A history of set theory and its role in modern mathematics''. Basel, Birkhäuser. ISBN 978-3-7643-8349-7
* Johnson, Philip, 1972. ''A History of Set Theory''. Prindle, Weber & Schmidt ISBN 0-87150-154-6
* [[Kenneth Kunen|Kunen, Kenneth]], 1980. ''[[Set Theory: An Introduction to Independence Proofs]]''. North-Holland, ISBN 0-444-85401-0.
* Potter, Michael, 2004. ''Set Theory and Its Philosophy: A Critical Introduction''. [[Oxford University Press]].
* Tiles, Mary, 2004 (1989). ''The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise''. [[Dover Publications]]. ISBN 978-0-486-43520-6
 
==Pranala njaba==
{{Wikibooks|Set Theory}}
{{Wikibooks|Discrete mathematics/Set theory}}
* [[Matthew Foreman|Foreman, Matthew]], [[Akihiro Kanamori]], eds. ''[http://handbook.assafrinot.com/ Handbook of Set Theory.]'' 3 vols., 2010. Each chapter surveys some aspect of contemporary research in set theory. Does not cover established elementary set theory, on which see Devlin (1993).
* {{Springer |title=Axiomatic set theory |id=p/a014310}}
* {{Springer |title=Set theory |id=p/s084750}}
* [[Thomas Jech|Jech, Thomas]] (2002). "[http://plato.stanford.edu/entries/set-theory/ Set Theory]", ''Stanford Encyclopedia of Philosophy''.
* [[Arthur Schoenflies|Schoenflies, Arthur]] (1898). [https://archive.org/stream/encyklomath101encyrich#page/n229 Mengenlehre] in [[Klein's encyclopedia]].
* {{Library resources about |onlinebooks=yes |lcheading=Set theory |label=set theory}}
 
{{Bidang matematika}}
 
[[Kategori:Téori himpunan| ]]<!--Keep first (eponymous category)-->
[[Kategori:Matématika| S]]
304

besutan

Menu navigasi