On 9/13/23, mailbombbin <[email protected]> wrote: > "in any system of proof applied to this statement, the outcome proves > falsehood."
one question here, is if we define truth such that this statement is _not_ true, how, then, in the logic, does a statement describe that it is not provable? that it is false? -> this would be done with a second statement, because the assumption in asserting a statement is that it is true. if a statement says it is false, it is not a statement.
