>>711
どう証明するんですか?

でも、ここの人たちでも数理論理の勉強してませんよね