>>451
ヒルベルト流というのは
推論規則をモダンポーネンス位までなるべく減らす流儀。
推論規則を調べるゲンツェン流に対する言い方。
その公理図式は普通ルカシュヴィッツの公理系と呼ばれる。