判断两个λ表达式是否等价的问题是无法解决的。
如果认识到自心就是佛,不在于剃除须发出家,在家居士也可以成佛。