idea
Provable, true, consistent
Provable is about one statement: the system can derive it from its rules. True is about one statement: it is correct about the actual numbers. Consistent is about the whole system: it never proves a statement and also its opposite.