Tazama kifungu hapa chini na kisha jibu swali baadaye kwa lugha ile ile kama kifungu: Kifungu: Njia zingine zinafafanua wazi nambari halisi kuwa miundo fulani iliyojengwa juu ya nambari halali, kwa kutumia nadharia ya seti ya axiomatic. Nambari za asili <unk> 0, 1, 2, 3, na kadhalika <unk> huanza na 0 na kuendelea juu, ili kila nambari iwe na mrithi. Mtu anaweza kupanua nambari za asili na hasi zao kutoa nambari zote kamili, na kupanua zaidi kwa uwiano, kutoa nambari halali. Mifumo hii ya nambari inaambatana na hesabu ya kuongeza, kutoa, kuzidisha, na mgawanyiko. Kwa busara zaidi, zinajumuisha kuagiza, ili nambari moja iweze kulinganishwa na nyingine na kupatikana kuwa ndogo kuliko, kubwa kuliko, au sawa na nambari nyingine. Swali: Wanatumia nadharia gani kufafanua nambari halisi?
nadharia ya seti axiomatic