Развивается формально-аксиологическая интерпретация учения Парменида и Мелисса о небытии небытия, множества и движения. Конструируется двузначная дискретная математическая модель формально-аксиологического аспекта метафизики упомянутых мыслителей – двузначная алгебра метафизики как формальной аксиологии. На языке предложенной модели точно формулируется и обобщается знаменитая «Гильотина Юма». Обобщенная формулировка «Гильотины» используется для защиты Парменида от эмпирической критики.