 |
 |
 |
Математическая энциклопедия ПРОТИВОРЕЧИЕ - формула j языка узкого исчисления предикатов (УИП) такая, что во всех моделях этого языка она ложна. Формула j является П. тогда и только тогда, когда В. И. Гришин. Оригинал статьи 'ПРОТИВОРЕЧИЕ' на сайте Словари и Энциклопедии на Академике Турнавигатор 
|
выводимо в УИП. 
|
WMID:
E-mail:
