Up
実数の導入
「数の系の拡張」
Cauchy 列による実数の定義
Dedekind 切断による実数の定義