Thoir iomradh air an earrann gu h-ìosal agus an uairsin freagair a 'cheist às deidh sin anns an aon chànan ris an earrann:  Passage: Tha cuid de dhòighean-obrach a' mìneachadh gu soilleir gu bheil na h-àireamhan fìor nan structaran sònraichte a chaidh a thogail air na h-àireamhan reusanta, a' cleachdadh teòiridh nan seataichean axiomatic. Tha na h-àireamhan nàdarra <unk> 0, 1, 2, 3, agus mar sin air adhart <unk> a 'tòiseachadh le 0 agus a' leantainn suas, gus am bi neach-leantainn aig a h-uile àireamh. Faodaidh aon na h-àireamhan nàdarra a leudachadh leis na h-àireamhan àicheil aca gus na h-àireamhan iomlan a thoirt seachad, agus gus leudachadh a bharrachd a dhèanamh air co-mheasan, a 'toirt seachad na h-àireamhan reusanta. Tha na siostaman àireamhachaidh sin air an cois na h-àireamhachadh de chur ris, a thoirt air falbh, iomadachadh, agus roinn. Nas mionaidiche, tha iad a' toirt a-steach òrdugh, gus an gabh aon àireamh a choimeas ri àireamh eile agus a lorg nas lugha na, nas motha na, no co-ionann ri àireamh eile.  Ceist: Dè an teòiridh a tha iad a' cleachdadh gus àireamhan fìor a mhìneachadh?
teòiridh nan seataichean axiomatic