2 Sep
2023
2 Sep
'23
7:40 p.m.
A is false! because we can prove it true, this shows it is false. A proves that the system of proof used is unreliable. Maybe proof by elimination is different in recursive logic, for example.