На уровне двузначной алгебры метафизики как формальной аксиологии изучается дискретная математическая модель формально-аксиологического аспекта системы богословско-метафизических взглядов Спинозы. Таблично определяются ценностные функции «бытие… с…», «бытие… без…» и др. Даются определения понятий: «закон метафизики как формальной аксиологии (положительная-ценностная-функция-константа)», формально-аксиологическое противоречие (отрицательная-ценностная-функция-константа)», «формально-аксиологическая эквивалентность ценностных функций». С помощью «вычисления» соответствующих ценностных таблиц в двузначной алгебре метафизики как формальной аксиологии генерируются списки формально-аксиологических уравнений сложных композиций элементарных ценностных функций. При переводе этих уравнений с искусственного языка на естественный оказывается, что эти уравнения – адекватная модель «математической» теологии Спинозы. Ключевые слова: Спиноза, дискретная математическая модель естественной теологии, двузначная алгебра метафизики как формальной аксиологии, ценностная функция, «Бог (чего или кого) w», «бытие w с Богом», «бытие w в Боге», «бытие w без Бога», «бытие Бога без w».

At the level of two-valued algebra of metaphysics as algebra of formal axiology, a discrete mathematical model of the system of Spinoza’s theological-metaphysical views is studied. The evaluation-functions “…’s-being-with-…”; “…’s-being-without-…” et al are defined by tables. Definitions are given to the notions: “law of metaphysics-as-formal-axiology (positive-evaluative-constant-function)”; “formal-axiological contradiction (negative-evaluative-constant-function)”; “formal-axiological equivalence of evaluation-functions”. By means of “computing” relevant evaluation-tables in two-valued algebra of metaphysics-as-formal-axiology lists of formal-axiological equations of complicated compositions of elementary evaluation-functions are generated. By translation from the artificial into the natural language the equations expose their being an adequate model of Spinoza’s “mathematical” theology.Key words: Spinoza, discrete mathematical model of natural theology, two valued algebra of metaphysics as algebra of formal axiology, evaluation function, God of (what or whom)-w”, “w’s being with God”, “w’s being in God”, “w’s being without God”, “God’s being without w”.