But he proved his theorems. Thus it is provable and by your own definition is true regardless of what the theorem actually says.