Delengen ing ngisor iki lan banjur wangsulana pitakonan ing basa sing padha karo wacana:  Passage: Sawetara pendekatan kanthi eksplisit nemtokake nomer nyata minangka struktur tartamtu sing dibangun ing nomer rasional, nggunakake teori himpunan aksiomatik. Angka asli <unk> 0, 1, 2, 3, lan sapanunggalane <unk> diwiwiti kanthi 0 lan terus munggah, saengga saben nomer duwe penerus. Siji bisa ngluwihi wilangan asli kanthi negatif kanggo menehi kabeh wilangan bulat, lan luwih maju kanggo rasio, menehi nomer rasional. Sistem wilangan iki diiringi aritmatika penambahan, pengurangan, perkalian, lan pembagian. Luwih subtle, kalebu urutan, supaya siji nomer bisa dibandhingake karo liyane lan ditemokake kurang saka, luwih saka, utawa padha karo nomer liyane.  Pitakonan: Téyori apa sing digunakké kanggo nemtokaké wilangan nyata?
téyori himpunan aksiomatik