В закладки будет добавлено толкование к данному слову в данном словаре.
Закладки сохраняются на Вашем компьютере в cookie. Если Ваш браузер не поддерживает cookie
или такая возможность отключена, то сохранение закладок будет не возможно.
Противоречие
- формула j языка узкого исчисления предикатов (УИП) такая, что во всех моделях этого языка она ложна. Формула j является П. тогда и только тогда, когда выводимо в УИП.
В. И. Гришин.
Нашли ошибку?
Ошибка отправлена на обработку. Благодарим Вас за помощь в развитии сайта.