>>29
∞のﾊｽﾞだと思ったがよく考えてみると、ゲーデルによって再帰的なラムダ計算の無矛盾性はその論理の範疇では証明できないことが示されている（不完全性定理）ので、
結論としては判らないということになるｗ