0523132人目の素数さん垢版 | 大砲2018/01/09(火) 14:25:15.35ID:cQ9NaCUe 集合論で濃度や基数が厳密に定義されていますが、 数学基礎論で濃度や基数が扱われるのは何とも思いませんか? (例えばレーベンハイム・スコーレムの定理)