>>451
述語論理のヒルベルト流でおじゃるw