III. Понятие доказательства: программы и теоремы

Фрагмент лекции (без вопросов и обсуждения) Льва Ламберова «III. Понятие доказательства: программы и теоремы» (8 февраля 2022 г.) из раздела «Современный теоретико-типовой подход к основаниям математики» курса “История и философия науки“ для слушателей Института переподготовки и повышения квалификации Уральского федерального университета им. первого Президента России Б.Н.Ельцина.