Dan Cryan

assumption, which in this case was ¬q . So we reject the assumption, which gives us ¬¬q . It follows from the third axiom that if ¬¬q is true, then q is true. This is a weird result because it allows us to prove anything, even something whose truth does