>>737
> 〇完全性定理に選択公理（の弱いやつ）が必要なことについては、

違う。選択公理とは全く違う弱い公理しか必要ない。上に書いてあるだろう。