
13 Sep
2023
13 Sep
'23
5:29 p.m.
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.