20/05/08 00:54:37 YwOdwjHq.net
でな、さらに業界話をすると、このa∈aをむりやり成り立たせる議論はじつは00年代にあったんだが、
あんまりうまくいかなくて立ち消えてるわけよ。
なぜか?
それは自然数論の議論がAxiom of regularityが成り立たない領域には出ない
ということが分かってるからなわけ。
つまりAxiom of regularityを外して議論しないとできない自然数論はないの。
だからabc予想を解決するためにa∈aを成り立たせないといけないとしたら、
それは出発点をまちがってるんだよ。