0094132人目の素数さん垢版 | 大砲2023/11/09(木) 06:37:18.21ID:c4/DB5yb >>91-93 (独立にとってきた2つの)類の包含関係とは? Dedekind切断で構成した実数体と、Cauchy列で構成した実数体は同じものなの?