0097132人目の素数さん垢版 | 大砲2018/06/01(金) 00:59:37.51ID:MEhb6p3v そのQは反例にならない 反例になるのは次のどちらかの場合 ・Qは証明できないし、Qの否定も証明できない ・Qは証明できるし、Qの否定も証明できる 前者ならQは独立命題と呼ばれる 後者なら理論は矛盾している