0189132人目の素数さん垢版 | 大砲2024/04/26(金) 07:00:38.86ID:4FSkTY1U Grothendieck 予想の事かな 多分最後のアルゴリズムとかいうあたりでモデル理論っぽい話に繋げようとしたのかな