ParentFull threadGodel_unicode·I think it’s axiomatically true that if you change definitions at will then anything can mean anything. I don’t think that’s useful for enhancing understanding.View on HN