generated at
論理学の表記

表記
そのもの自然演繹シークエント計算
古典論理CKNKLK
直観主義論理ILNJLJ
ペアノの公理PA
ハイティング算術HA