>>342
ほいよ
音読してね

https://ja.wikipedia.org/wiki/%E6%9C%89%E7%90%86%E6%95%B0
有理数
形式的な構成
詳細は「商体」を参照
集合論の形式により、整数全体 Z から有理数全体 Q を構成することができる。まず整数の順序対 (a, b) で b ≠ 0 であるものの全体 E = Z ×(Z - {0}) を考える。ここで E 上の関係 〜 を
略
以上の構成は、一般の整域の商体の構成にもほぼそのままに適用できる方法であり、したがって「Q は Z の商体である」などということができる
https://ja.wikipedia.org/wiki/%E5%95%86%E4%BD%93
商体
商体の構成

https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0
実数
実数の様々な構成
詳細は「:en:Construction of the real numbers」を参照 https://en.wikipedia.org/wiki/Construction_of_the_real_numbers

コーシー列を用いた構成
詳細は「コーシー列#実数の構成」を参照

デデキント切断による構成
詳細は「デデキント切断」を参照

超準解析に基づく構成

エウドクソスの実数
エウドクソスの実数（Eudoxus real number）とはシャヌエルによって1984年に発見され（しかし論文は出版しなかった）、また名付けられた構成法である[1]。整数から直接、有理数を経由することなく実数を構成するという特徴を持っている。この構成法は2003年にアカンポ（A'Campo 2003）によって再発見された[1]