MIPT-ML-21-Lect-13

Математическая логика в МФТИ для ПМФ. Темы: принципы математической индукции, сильной индукции и наименьшего числа; их равносильность; конечные множества; невозможность вложения n 1 в n.