下の段落を参照し,次に同じ言語で質問に答えます. 段落: あるアプローチでは,理数理論を用いて,理数に構築された特定の構造である実数を明示的に定義します. 自然数 <unk> 0,1,2,3,等々 <unk> は 0 から始まり,上へと続くので,すべての数字には後継者がいます. 自然数とその負の数を拡張して,すべての整数を与え,さらに比数に拡張して,理数数を与えることができます. これらの数系には,加算,減算,掛け算,割り算の算術が伴います. より微妙に,それらは順序付けを含みます. そのため,一つの数字を他の数字と比較して,別の数字よりも小さい,大きい,または等しいと判断できます. 質問: リアル数を定義するために,どのような理論を使用しますか?
公理集合論