「公理型」の版間の差分

任意の公理型は何らかの[[公理系]]における[[整論理式]]であり、そこには一つ以上の型変数が現れる。これらの変数はメタ[[言語学]]的な構成物であり、所与の体系における[[一階述語論理#形成規則|項]]や[[一階述語論理|部分論理式]]に相当し、一定の条件を満たすことが要請される場合やされない場合がある。一定の条件とは、例えば特定の変数が[[自由変項]]であることや、またはそうした特定の変数が部分論理式や項に現れないことなどである。

 

 

公理型の実例としてよく知られているものを二つ挙げる。