Главная / Статьи / О / Опыт теоретического исследования природы доказательств, применяемых в математических науках