충족 가능성 문제 - 다른 언어