> incompleteness concerns the ability to prove certain characteristics rather than meaning a system has/hasn't got those characteristics. That's right. I like

> incompleteness concerns the ability to prove certain characteristics rather than meaning a system has/hasn't got those characteristics. That's right. I like the way Gregory Chaitin puts it, "some mathematical facts are true for no reason, they are true by accident, or at random." I also don't see any connection to objective reality. Ignoring mathematics, we know that the universe contains things that are true by accident, but that doesn't undermine the idea of objective reality.