Проблема логического обоснования дедуктивно-математического знания от Античности до XX века. Логико-математический и философский аспекты