В статье описывается символьная реконструкция фрагмента Этики, доказанной геометрическим способом Спинозы, осуществленная средствами первопорядковой логики предикатов с равенством