睇下下面嘅段落,然後用段落嘅語言回答問題:  通過:有些方法明顯地定義實數為建立在理數之上嘅某些結構,用於公理集合理論. 自然數 0,1,2,3,等等 由 0 開始,一直向上,所以每個數字都有一個後續數. 一个可以将自然数及其负数扩展到所有整数,并进一步扩展到比数,给出理数. 呢啲數學系嘅數學包括加法,減法,乘法同埋除法 更微妙地,佢地包括排序, 咁一個數可以同另一個數比較, 發現佢小於,大於,或者等於另一個數.  問題:佢哋用咩理論去定義實數呢?
公理集合理論