Продолжительность: 90 минут Математический текст почти всегда начинается с неявного решения: какие объекты мы рассматриваем и какие различия между ними считаем существенными. Число, множество чисел, пара чисел, функция и отношение могут обозначаться похожими символами, но принадлежат разным логическим типам. Если эти типы смешать, дальнейшее рассуждение может выглядеть убедительно и при этом не иметь смысла. Эта сессия посвящена трём фундаментальным конструкциям: объектам, множествам и отношениям...