判断两个λ表达式是否等价的问题是无法解决的。
The beauty of mathematics is that it allows us to explore the universe without ever leaving our chairs.