0305132人目の素数さん垢版 | 大砲2024/05/15(水) 20:46:33.12ID:vwN3FcOM >>304 >直観主義命題論理では習慣的に→,∧,∨,⊥ を基本的な結合子として採用する が普通だからヒルベルト式で直観主義論理ってどうなんだろと思った