Требование строгости математического вывода было отчетливо осознано Кантом в «Критике чистого разума». Кант настаивал на том, что математическое знание имеет другую природу, отличную от естественных наук, — не эмпирическую, но априорную. «Математика дает нам блестящий пример того, как далеко мы можем продвинуться в априорном знании независимо от опыта»2 . Математика играет совершенно особую роль в познании еще и потому, что математические знания «с древних времен обладают достоверностью и этим открывают возможность для развития других [знаний], хотя бы они и имели совершенно иную природу. К тому же, находясь за пределами опыта, можно быть уверенным в том, что не будешь опровергнут опытом»3 . Для того чтобы математика могла играть роль такого рода фундамента познания, она сама должна быть непротиворечивой и строго обоснованной.
