Попытка изложения языка математики и принципов математического мышления как обучение иностранному языку.
A1-1. Эксперименты.
A1-2. Логика.
А1-3. Логика (продолжим).
A1-4. Простейший формализм.
A2-1. Исчисление предикатов.
Задачка ∃x∀y P(x,y)→∀y∃x P(x,y) в чистом исчислении предикатов.
A2-2. Теория моделей в классической логике.
A2-3. Равенство.
Уровень А. Подведение итогов.
B1-1. Арифметика Пеано.
B1-2. Порядок.
B1-3. Варианты индукции.
B1-4. Язык теории множеств.
В1-5. Аксиоматика ZF.
B2-1. Языковые конструкты.
B2-2. Интерпретация PA в ZF.
B2-3. Формализм математики vs формализм компьютера.