Изменения
→Исчисление предикатов
{{Теорема
|statement=
Исчисление предикатов корректно, т.е. любое доказуемое утверждение общезначимо. // мне одному кажется, что должно быть наоборот, любое общезначимое доказуемо? 0_0
|proof= Упражнение.
}}
