An difríocht idir athruithe ar: "Tacartheoiric"

Is brainseBrainse de [[loighic mhatamaiticiúil]] éis ea '''tacartheoiric''' ( nó '''teoiric''' na [[Tacar|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 '''is mó clú'''.