> You are using the word “truth” but it is more correct to use provable/non-provable.

I used both the words "truth" and "provable" in the correct and appropriate ways. Both are distinct concepts that form an important part of the theory.