>>300
>ヒルベルトスタイルに排中律
ヒルベルト式だと排中律は内包されてるんじゃないの？
たとえばP∨Qは¬P→QにP∧Qは¬(P→¬Q)にするんでしょ？
論理演算が→と¬しかないから
排中律ないと制限きついでしょ