Я пользуюсь аксиомами теории множеств, такими как аксиома экстенсиональности, аксиома пустого множества, аксиома пары, аксиома объединения, аксиома степени, аксиома выбора и др.