確か前スレに完全性定理と選択公理の話あったぞ