It is possible to be true and unprovable. Truth does not imply provability (the reverse does hold). Gödel's statement, which essentially says "I am unprovable"

It is possible to be true and unprovable. Truth does not imply provability (the reverse does hold). Gödel's statement, which essentially says "I am unprovable" is an example of a true, unprovable statement.