>>44
ψの定義がよくわからない…
{ q∈Q | pi^bi q ∈ Z }
の i は{}の中の束縛変数だよね？
∀i ならqは整数にしかなれないし、∃iではψ(b)が群をなさないと思う