logo

Решение контрольных по математике!!!

6.1. Теория равенства

Теория равенства – теория первого порядка с предикатной буквой .

Собственные аксиомы следующие:

1) .

2) .

Здесь – произвольная предикатная буква.

 
Яндекс.Метрика
Наверх