Конституция РФ как источник аксиом частного права. Опыт логического вычисления

Автор выделил в Конституции РФ положения частного пра-
ва, формализовал соответствующие тексты по методике Е-
анализа и вычислил в Е-программе аксиомы этой подсистемы
и её инвариант, следствия, дополняющие систему до полной,
и противоречия.

Е-структура и Е-программа, разработанные доктором физи-
ко-математических наук Борисом Александровичем Куликом,
позволяют находить новое знание, в частности, дополнять
систему, находить противоречия, определять инвариант логической системы и её аксиомы.