14 Sep
2023
14 Sep
'23
2:29 a.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.