zwany formalizmem, którego celem było właśnie ugruntowanie i usprawiedliwienie matematyki. Nawiązywał przy tym do tej samej wielkiej tradycji filozoficznej, co logicyści (dodajmy, że formaliści bardzo mocno korzystali z wyników uzyskanych przez logicystów, w szczególności z wyników Russella i Whiteheada). Z drugiej strony, Hilbert nawiązywał też - podobnie jak Brouwer - do myśli Kanta. Przy tym, o ile intuicjoniści odwoływali się do Kantowskiej teorii czasu i przestrzeni, czyli do estetyki transcendentalnej, o tyle Hilbert wykorzystywał również koncepcję idei rozumu, wyłożoną przez Kanta w ramach tzw. dialektyki transcendentalnej.<br>W pracy &lt;name type="tit"&gt;Über das Unendliche&lt;/&gt; Hilbert pisał: "&lt;q&gt;Już Kant uczył - a jest to integralna część jego doktryny