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