The article shows the major influence that Heyting has had on the study of the foundations of mathematics and in so doing shows the importance of Heyting's contributions.
Ang mga artikulo ay nagpapakita ng mga malalaking impluwensiya na Heyting ay nagkaroon sa pag-aaral ng pundasyon ng matematika at para sa paggawa ay nagpapakita sa kahalagahan ng Heyting ang kontribusyon.