3 Sep
2023
3 Sep
'23
4:40 a.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.