I. Основания математики: теория множеств vs. теория типов
Множества и основания математики
С данного поста начинаю цепочку рассказов о математике простыми словами. Если вы не ленитесь читать, наливайте свой любимый напиток и отправляйтесь в приятный поток полезной информации.
[Метаматематика]
С...
Что такое функция? Основания математики, без которых нельзя
Самое тривиально определение