Lihatlah bagian di bawah ini dan kemudian jawab pertanyaan setelahnya dalam bahasa yang sama dengan bagian:  Passage: Beberapa pendekatan secara eksplisit mendefinisikan bilangan real sebagai struktur tertentu yang dibangun di atas bilangan rasional, menggunakan teori himpunan aksiomatik. Bilangan asli <unk> 0, 1, 2, 3, dan seterusnya <unk> dimulai dengan 0 dan berlanjut ke atas, sehingga setiap bilangan memiliki penerus. Seseorang dapat memperluas bilangan asli dengan negatif mereka untuk memberikan semua bilangan bulat, dan untuk lebih lanjut memperluas rasio, memberikan bilangan rasional. Sistem bilangan ini disertai dengan aritmatika penjumlahan, pengurangan, perkalian, dan pembagian. Lebih halus, mereka termasuk pemesanan, sehingga satu angka dapat dibandingkan dengan yang lain dan ditemukan kurang dari, lebih besar dari, atau sama dengan angka lain.  Pertanyaan: Teori apa yang mereka gunakan untuk mendefinisikan bilangan real?
teori himpunan aksiomatik