MIPT-ML-20-Lect-13

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