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.

Reply via email to