完全性定理が選択公理を使って証明してるからなあ。数理論理って実に
くだらないよな。論理学の正当化には微塵も役立たない。