두 개의 동치 관계를 가진 2변수 일차 논리에서 보간자 존재성 문제는 결정 불가능하다

두 개의 동치 관계를 가진 2변수 일차 논리에서 보간자 존재성 문제는 결정 불가능하다. 이는 명시적 정의 존재성 문제에도 적용된다.