冠頭標準形定理
主張
1階述語論理における任意の論理式
$ \varphi
に対し，同値な
冠頭標準形
な論理式
$ \varphi'
が存在する．
注意
直観主義述語論理
では成り立たない．