Изменения

Исчисление предикатов корректно, т.е. любое доказуемое утверждение общезначимо.// мне одному кажется, что должно быть наоборот, любое общезначимое доказуемо? 0_0