费马的最后定理是否可以在lambda演算中证明

Question

作为标题。我知道这是一个非常普遍的问题，并希望有人暂停，但在你这样做之前，请阅读：

我期待的答案是：

1. 直接提出问题
2. 或者指出在哪里提出这个问题的好地方，如果不是这里
3. 或者帮我指出我的问题，例如＆＃34;在lambda演算中可证明某些东西是什么意思＆＃34;
4. 或以lambda演算的形式重述费马的最后定理
5. 或告诉我哪种标志会使这篇文章更加明显

Answer 1

如果你合理地提出你的问题，那么答案就是教会图灵论文的“当然”，以及FLT在Peano算术中是可证明的事实（可以在lambda演算中完全发展）。