generated at
ヒルベルト流
たくさんの公理系と、唯一の推論規則を持つ


参考
『学んでみよう！記号論理』 p.57~
未読
『論理学をつくる』にもあったはず