Leagan ó 14:57, 29 Aibreán 2019 athraigh Ériugena (plé \| dréachtaí) Confirmed users 28,350 edits mNo edit summary ← Gabh chuig an difear roimhe seo		Leagan ó 22:23, 30 Aibreán 2019 athraigh cealaigh Ériugena (plé \| dréachtaí) Confirmed users 28,350 edits mNo edit summary An chéad dhifear eile →
Líne 1: [[Íomhá:Venn_A_intersect_B.svg\|deas\|mion\| [[Léaráid Venn\|Léaráid Venn a]] léiríonn trasnú dhá [[Tacar\|thacar]] . ]] Brainse de [[loighic mhatamaiticiúil]] is ea '''tacartheoiric''' (nó '''teoiric na dtacar'''), a dhéanann]] staidéar ar [[Tacar\|thacair]]; go neamhfhoirmiúi is bailiúcháin de réada iad. Cé gur féidir le réad 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 == [[Íomhá:Georg_Cantor_1894.jpg\|mion\|230x230px\| [[Georg Cantor]] . ]]

An difríocht idir athruithe ar: "Tacartheoiric"