Comment by nerdponx

Aren't those sort of different things? I thought the whole point of provability was that it was distinct from truth.