0120132人目の素数さん垢版 | 大砲2023/11/10(金) 17:15:31.69ID:4oE8Qc4/ >>118 同値が証明できるとなにが解決するの?問題になってるのは真偽が同じになることなんですけど? P∧Qも¬(P∧Q)もどちらも証明不可能なのに何言ってるのかね