參考下面嘅段落,然後用同段落一樣嘅語言回答問題:段落: 一啲方法明顯地定義實數為建立在理數之上嘅某啲結構,使用公理集合理論.自然數 <unk> 0,1,2,3,等等 <unk> 由 0 開始,繼續向上,所以每個數都有一個後續數.一個人可以擴展自然數及其負數,以給出所有整數,並進一步擴展到比率,給出理數.呢啲數制伴隨著加法,減法,乘法,除法嘅算法.更微妙地,佢哋包括排序,所以一個數字可以同另一個數字比較,發現係小於,大於,或等於另一個數字.問題:佢哋用咩理論定義實數?
公理集合理論