Лекция 2. Основания: продолжение. Аксиомы теории множеств, функции, эквивалентность, порядок.

Продолжаем разговор об основаниях, выписываем кратко аксиоматику MK. Определяем различные виды отношений: эквивалентность, порядок. Обсуждаем аксиому выбора. Даем определение топологии.