At one point the term - stratified #lambdaclculus seemed so cryptic that I read entire book on that theory.
No it simply means , no universal quantifiers and hence no circular reasoning in logic , to me me.
Context - predicativ- ity
Moral - if a lot of time in progress is going on demystifying such pseudo cryptic terms in stead of asking well framed questions with well founded definitions , its time to step back / take a break a rethink the directionNow unguided paper chasing is worse than learning from #ai , as it can give you even more misleading summary.#puremath