so “this statement is unprovable” becomes a false expanded statement. expanded: “[axioms of logic] provability is equivalent to truth. [axioms of statements] this statement is true. [statement] this statement is unprovable.”
we can then derive a contradiction from the expanded statement and prove it false.
