Although Heyting's version of intuitionist logic differed somewhat from that of Brouwer, it is clear that one of his main aims was to make Brouwer 's ideas more accessible and better known. Brouwer had presented his ideas in a deliberately non-formal, and very personal, way.
Kahit Heyting's bersyon ng intuitionist lohika differed tila mula sa na ng Brouwer, ito ay malinaw na ang isa sa kanyang mga pangunahing mga hangaring ay upang gumawa ng Brouwer 's mga ideya ng mas maraming mapupuntahan at mas mahusay na kilala. Brouwer ay ipinapahayag ang kanyang mga ideya sa isang sadya di-pormal, at masyadong personal, na paraan.