ФункцииПорядковые отношенияГруппы – определениеКольца и поля – определениеАлгебра над кольцомЧислаСюрреальные числаВиды пространствОтношение формулы к аксиоматикеЛогическая независимость формулыЗадача о семи мостах КёнигсбергаОрдиналы – сумма и произведениеАксиома выбора и аксиома детерминированностиЦелые числа – построениеРациональные числа – построениеГеометрия на сфереКорневые непомеченные деревья на 4 вершинахПосаженные деревья на 4 вершинахПомеченные некорневые деревья на 4 вершинахРекурсивные деревья на 4 вершинахПомеченные графы на 3 вершинахДерево решенийПоследовательность и граф де БрёйнаГигантская компонента в случайном лесе Гальтона-Ватсона
