Аксиома о пустом множестве – это аксиома о нуле. Она утверждает, что понятие „ничто“, понятие нуля – это нечто реально существующее: нулевая величина, ноль объектов. Математика предполагает, что существует такое понятие, как ничто, но доказано ли это? Нет. Тем не менее оно должно существовать.