Boberto

Yes, Godel's proof does assert that truth and proof are not equivalent, however proven theorems are still a subset of true theorems. In other words, all theorems that can be proven are true, but not all true theorems can be proven. Similarly, all squares are rectangles, but not all rectangles are squares.