Logical provability

Перевод logical provability на русский язык

Logical provability determines whether a statement can be proved within a system.

Логическая доказуемость определяет, может ли утверждение быть доказано в рамках системы.