# Tacartheoiric

Léaráid Venn a léiríonn trasnú dhá thacar .
Brainse de loighic mhatamaiticiúil is ea **tacartheoiric** (nó **teoiric na dtacar**), a dhéanann staidéar ar thacair; go neamhfhoirmiúil is bailiúcháin de réada iad. Cé gur féidir le réada ar bith a bhailiú i dtacar, is minic a úsáidtear tacartheoiric ar rudaí a bhaineann leis an matamaitic. Is féidir leas a bhaint as teanga na tacartheoirice chun beagnach gach réad matamaitice a shainiú.

Chuir Georg Cantor agus Richard Dedekind staidéar nua-aimseartha na tacartheoirice ar bun sna 1870í. Tar éis gur aimsíodh paradacsaí i dtacartheoiric **shoineanta**, cosúil le paradacsa Russell, moladh go leor córas aicsíme go luath san fhichiú haois, agus is iad na haicsímí Zermelo-Fraenkel, le no gan an rogha aicsím, an ceann is mó clú.

Is iondúil go n-úsáidtear teoiric socraithe mar chóras bunaithe don mhatamaitic, go háirithe i bhfoirm na teoirice Zermelo-Fraenkel leis an rogha aicsím. Taobh amuigh dá ról bunaidh, is brainse matamaitice ann féin í an tacartheoiric, le pobal taighde gníomhach. Cuimsíonn taighde comhaimseartha ar thacartheoiric bailiúchán éagsúil topaicí, a chuimsíon idir struchtúr na réaduimhreach agus go staidéar ar chomhsheasmhacht na mbuanuimhreacha móra.

## Stair

 Georg Cantor .
De ghnáth, tagann topaicí matamaitice chun cinn ar dtús, agus forbraítear iad ina dhiaidh sin trí idirghníomhaíochtaí idir go leor taighdeoirí. Bunaíodh tacartheoiric, áfach, nuair a foilsíodh an páipéar aonair; "Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen", sa bhliain 1874, scríofa ag Georg Cantor.

## Bunchoincheapa agus nodaireacht

## Roinnt ointeolaíochta

 Teascán tosaigh d'ordlathas von Neumann.
## Tuilleadh léitheoireachta

* Devlin, Keith (1993), The Joy of Sets (2ú eagarthóireacht), Springer Verlag, ISBN    0-387-94094-4
* Ferreirós, Jose (2007), Labyrinth na Smaointe: Stair teoirice socraithe agus a ról i matamaitic nua-aimseartha, Basel: Birkhäuser, ISBN    978-3-7643-8349-7
* Johnson, Philip (1972), Stair Teoirice Socraigh, Prindle, Weber & Schmidt, ISBN    0-87150-154-6
* Kunen, Kenneth (1980), Set Theory: Réamhrá ar Phromaí Neamhspleáchais, Tuaisceart na hÍsiltíre, ISBN    0-444-85401-0
* Potter, Michael (2004), Set Theory and its Philosophy: Réamhrá Criticiúil, Oxford University Press
* Tiles, Mary (2004), Fealsúnacht na Teoirice Socraigh: Réamhrá Stairiúil ar Phadise, Dover Publications, ISBN    978-0-486-43520-6
* Smullyan, Raymond M .; Feistiú, Melvin (2010), Fadhbanna Teoirice agus Leanúntais, Foilseacháin Dover, ISBN    978-0-486-47484-7
* Monk, J. Donald (1969), Réamhrá don Teoiric Socraithe, Cuideachta Leabhar McGraw-Hill, ISBN    978-0898740066

## Naisc sheachtracha

* Foreman, Matthew, Akihiro Kanamori, eagarthóirí. *Lámhleabhar Teoirice Socraigh.* 3 voltas, 2010. Déanann gach caibidil suirbhé ar ghné éigin de thaighde comhaimseartha i dteoiric shocraithe. Ní chlúdaíonn sé teoiric bhunaidh bhunaidh bhunaithe, ar a bhfuil Devlin (1993).
* Hazewinkel, Michiel, ed. (2001) [1994], "teoiric na dtacar axiomatic", Encyclopedia na Matamaitice, Springer Eolaíocht + Business Meáin BV / Kluwer Foilsitheoirí Acadúla, ISBN    978-1-55608-010-4
* Hazewinkel, Michiel, ed. (2001) [1994], "Set teoiric", Encyclopedia na Matamaitice, Springer Eolaíocht + Business Meáin BV / Kluwer Foilsitheoirí Acadúla, ISBN    978-1-55608-010-4
* Jech, Thomas (2002). " Teoiric Socraigh ", *Stanford Encyclopedia na Fealsúnachta* .
* Schoenflies, Arthur (1898). Mengenlehre i gciclipéid Klein .
* Leabhair ar líne

## Tagairtí