Нужно разобрать разные теории предикатов, такие как теория Т, теория Т с "=", теория по Шемфелду.
Это - в другую статью, по-моему. В "Теории исчисления предикатов", например... И туда поместить описание теории равенства, теории абелевых групп и пр. Termar 12:59, 25 декабря 2006 (UTC)