@sophieschmieg @bnut @demofox

I have always loved Gödel's result. It still blows my.mind!

Thanks for this thorough explanation too. Very interesting. Essentially ole Gödel made so many formalizations in a single result. I'm apt to agree with some of these as measures of (mathematical) reality, but then there's the fact that I can essentially choose from an infinite number of positions between my nose and foot, and that's real.

To avoid paradoxes/contradictions makes sense though. ...