Tacartheoiric

[deas|mion| [Léaráid Venn|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
[mion|230x230px| [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
deas|mion|310x310px| 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í. *[http://handbook.assafrinot.com/ 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í



Catagóir:Modhanna foirmiúla
Catagóir:Georg Cantor