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