Comment by xrisk

Didn’t Gödel show that in most useful logical systems there are true statements that cannot be proved?