lambdaepsilon comments on Distinctions in Types of Thought

[lambdaepsilon]

Yes, I completely agree with the weaker formulation “irreducible using only THESE means”, like e.g. Polynomials, MPTs, First-Order Logic etc.