Skilgreining: Sumar aðferðir skilgreina skýrt rauntölur sem ákveðnar mannvirki byggðar á rökréttum tölum, með því að nota axiomatíska safnfræði. Náttúrulegar tölur <unk> 0, 1, 2, 3 og svo framvegis <unk> byrja á 0 og halda áfram upp á við, þannig að hver tala hefur eftirmaður.
fræðigreiningarfræði