實數的構造

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