>>573

つづき

Roberts コメント　2025.10.09

θリンクの作用に内在する∈ループを認識しつつ、それらを封じ込めるため理論を宇宙際に構築することを選択した

私の主張は、これが何かが軌道から
外れた兆候であるということだ。
公理的集合論の枠外にいる者にとって、こうした事象が現れることを気にする
必要はない。理論が妥当であるならば
（そうあるべきだと私は言う）、グローバルな∈関係すら持たない異なる集合論公理体系においても機能すべきだ。
さらに、∈ループが全く無害であるような（グローバルな∈公理を持つ）集合論も存在する。数体研究のためのアナベリアン幾何学が、集合に対する公理的アプローチの選択（ZFC vs ETCS+R vs ZFC+AFA vs ……）にそれほど敏感であってはならない。グロタンディーク＝タルスキー宇宙公理を仮定する必要性という、比較的小さな詳細を無視してよいのである。

主にdeepl翻訳

https://www.math.columbia.edu/~woit/wordpress/?p=15277