“[...] provability is a weaker notion than truth” TruthMathematicsProofMatGödel S Incompleteness TheoremGödel Book:Gödel, Escher, Bach: An Eternal Golden Braid Source: Gödel, Escher, Bach: An Eternal Golden Braid