>>857
数論幾何は知らないので
逆にお尋ねしたいのだが

その対数・テータ格子を実現するのに
a∈aは不可欠なのか？

もし、必要だとして、なぜZFC-AFA上で考えないのか？
必要でないなら、なぜa∈aについて語るのか？