Первый: аксиома выбора: частичный порядок, в котором любая цепь имеет верхнюю грань содержит максимальный элемент
Второй: аксиома Тарского-Гротендика: для любого множества х существует некоторый универсум Гротендика, содержащий х
Третий: аксиома бесконечности: существует наименьшее индуктивное множество
Как чертёж выполнить не знаю 3: