Inter-universal geometryとABC予想(シン応援スレ) 92at MATH

---

671:１３２人目の素数さん
26/07/30 16:17:22.88 aK686lPJ.net
>「何か足りないが、何かを足せば Lean化可能」
abc予想は正しいという公理を足せばLean化可能

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch