Comment by kadoban

One thing I've always wondered is if there's any _interesting_ statements that can't be proved or if they're all kind of self-referential nonsense statements.