6. Равенство и принадлежность. Часть 2. Аксиома Гильберта

Выводим аксиому Гильберта о равенстве для нашего формализма.
Back to Top