二変数一階論理式における等価関係の存在性は決定不能である

二変数一階論理式において、二つの等価関係を持つ場合、Craig補間式の存在性は決定不能である。