Hypothesis 1: False formulas are unprovable. Hypothesis 2: Formula A is unprovable. 3. If A is false then A is not-unprovable. 4. Then, by modus tollens H2 and 3.: A is true. 5. Ergo, when A is true it is unprovable. We cannot define provability in semantical terms. The concept of provability has only syntactical meaning, therefore is useless for life.
On the symbolic constructions of human identity.