普通の公理系は整列されているから、完全性定理の証明に選択公理はいらない。