Принципиальная ограниченность формальной логики как инструмента познания распространяется и на нее. То есть полностью и окончательно постичь математику может разве только бог-творец или иная подобная сущность, находящаяся вне системы. Другой вопрос, что математика, как наиболее «отстраненная» из известных нам наук, находится в наиболее выигрышном с этой точки зрения положении. Чего не скажешь об общественных «науках», которые закономерно пребывают в перманентно-плачевном состоянии.