 He then lists Heyting’s axioms for propositional logic (with Heyting’s numbering) and, by discussing an example, makes it clear that these all hold when interpreted as statements about problems and their solutions. He also points out that \(a \vee \neg a\) is the problem