Logical provability

Translation logical provability into russian

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

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