[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 71 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
25(2): mathematical logician 2024/04/22(月)08:04 ID:XBNNCRoI(4/5) AAS
（蛇足）
ちなみに数理論理学は
数学基礎論より前から存在するし（ブール代数）
数学基礎論とは無関係な仕事もあるし（完全性定理）
数学基礎論の死滅以後の成果もある（コーエンの強制法による選択公理の独立性証明）
上下前次1-新書関写板覧索設栞歴
あと 977 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s