Have you heard of https://en.wikipedia.org/wiki/Berry_paradox https://en.wikipedia.org/wiki/Berry_paradox ? It seems to run into the same sort of thing that le

Have you heard of https://en.wikipedia.org/wiki/Berry_paradox https://en.wikipedia.org/wiki/Berry_paradox ? It seems to run into the same sort of thing that led to ZF axioms, namely that you can have a language that is a bit too "loose" and therefore leads to contradictions. I think Kurt Godel showed that any non-trivial language is going to have something like that.