【演習問題８：``ヘンキンの問題'' (TPTP/HEN001-5)】

から、を示す。

※ 等号に関する公理が必要。