Тождественное отображение:
Для сигнатуры аксиомой равенства будет:
Для сигнатуры аксиомой равенства будет:
Для сигнатуры аксиомой равенства будет:
Если бесконечное множество противоречиво, то некоторое его конечное подмножество будет:
Тернарным (тренарным) предикатом на множестве М будет:
Унарным предикатом на множестве М будет:
Бинарным предикатом на множестве М будет:
Если A и B - пропозициональные формулы, то такой же формулой будет:
Если A и B - пропозициональные формулы, то такой же формулой будет: