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