定数記号が一つも存在しない場合、適当なものを一つ加える。自身に解釈されるように定義する。論理式を真に解釈するエルブラン構造が存在するならば、その論理式はエルブラン充足可能であるという。エルブラン充足可能でない場合はエルブラン充足不能。関しては、充足可能ならばエルブラン充足可能である。以下のような定理である。命題論理において充足不能になる。エルブランの定理の逆も成立する。充足不能性はエルブランの定理により示される。閉じた論理式の集合とする。(詳細は専門書を参考)。同様にいくつかの演繹体系が考えられている。導出原理いずれも一階述語論理において健全であり完全である。