В работе делается вывод о том, что с возрастанием уровня математической строгости уверенность математического сообщества в оценке надежности непротиворечивого развития математических теорий подвергается определенному испытанию. Эти сложности естественны для математики, так как порождаются особенностями теоретического мышления, а также научной и философской рефлексии, которые, тем не менее, не ставят под сомнение дедуктивную природу математического рассуждения.