> statements. the truth of “this statement is false” matters no much as > “x is both false and true” — you can construct the words, but they > don’t go together
these are different “x is both false and true” is a false statement. “this statement is false” is a confusing statement, not a clearly false one. maybe um “this statement is true and this statement is false” makes it more clearly a false statement? by adding the elided axiom in?
