公理系
axiomatic system
全ての
トートロジー
を機能的に定義する
以下からなる
公理
推論規則
完全性
の証明
公理系の例
フレーゲの公理系
公理系APL
メレディスの公理系M
公理
が一つしかない公理系
ゲンツェンの自然演繹(NK)
公理
が一つもない公理系