ヒルベルト流
たくさんの
公理系
と、唯一の
推論規則
を持つ
参考
『学んでみよう!記号論理』
p.57~
未読
『論理学をつくる』
にもあったはず