>>635
完全性定理の証明に（弱い形での）選択公理が必要になること、
可算理論の場合でも少なくとも算術は必要になること。