一般に、非自明かつコンビネータのweak同値性に関して閉じたn-項関係は決定不能である.
コンビネータの