Теория равенства – теория первого порядка с предикатной буквой 
.
Собственные аксиомы следующие:
1) 
.
2) 
.
Здесь 
– произвольная предикатная буква.
Теория равенства – теория первого порядка с предикатной буквой .
Собственные аксиомы следующие:
1) .
2) .
Здесь – произвольная предикатная буква.