well not a true statement so maybe: A: This statement is not provable. B: A is not provable.
A would be false, and B true, in that approach I suppose.
well not a true statement so maybe: A: This statement is not provable. B: A is not provable.
A would be false, and B true, in that approach I suppose.