Теория множеств

A complete local ring with a finitely generated maximal ideal is Noetherian. Drop completeness and it fails: an ultraproduct construction gives a non-Noetherian local ring whose maximal ideal is principal.

Наивная теория множеств и парадокс Рассела, упорядоченная пара по Куратовскому и декартово произведение, функция как подмножество произведения, композиция, инъекции, сюръекции и биекции, группа биекций и вложение в неё любой группы, равномощность и индикаторы, теоремы Кантора–Бернштейна и Кантора.