 More generally, the explanation of logic in Heyting 1934 is for the most part given Kolmogorov style, and not Heyting’s own in terms of intentions and their fulfillment. (The latter is only mentioned for its explanation of the implication (Heyting 1934: 14).) Perhaps the reason for this is that Heyting (1934: 14) agrees with Kolmogorov (1932: 58) that the interpretation in terms of problems and solutions provides a useful interpretation Heyting’s formal system also for non-intuitionists (while for intuitionists they come to the same thing). In his short note 1932C, titled “The application of intuitionistic logic to the definition of completeness of a logical calculus”, Heyting uses Kolmogorov’s interpretation instead of his own. Given the subject matter, that is what one might expect.