数理論理の本読めばどれでも書いてありますよ多分