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

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

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

1) .

2) .

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

< Предыдущая		Следующая >