0676132人目の素数さん垢版 | 大砲2018/03/13(火) 07:34:17.16ID:WG44pJXk ラッセル・ヒルベルト流にしろ、ゲンツェン流にしろ、[PならばQ]を[Pでないか又はQ]と同値であると考えたのが、そもそもの誤り。