MIPT-ML-20-Lect-15

Математическая логика в МФТИ для ПМФ. Темы: фундированные и вполне упорядоченные множества (в.у.м.); теорема о трансфинитной индукции; последователь; предельные элементы; строение элементов в.у.м.