實數的構造 在數學裡實數系統可以透過不同方式被定義其中基本方法通過一些公理將實數系統定為一個完備的有序數域通過集合論公理可以證明基本方法中給定的公理是絕對的即是說如果有兩個模型都符合那些公理那麼這兩個模型必然是同構的這樣的模型須是從更基礎的對象構建而成的而多數的模型的建立都是借助於有理數域