判断两个λ表达式是否等价的问题是无法解决的。
你的态度,而非你的天赋,将决定你的高度。