Исследуется двузначная алгебра метафизики как формальной аксиологии. В эту алгебру вводится еще одна бинарная операция, а именно, ценностная функция «бытие g в h». Введение этой ценностной функции, зависящей от двух ценностных переменных g и h, апробируется в процессе ее использования для математического моделирования метафизических конструкций «вещь-в-себе» Канта и «вещь-в» Хайдеггера.