"lastnost formalnih sistemov, ko za katero koli formulo v jeziku sistema obstaja učinkovita metoda za ugotavljanje, ali ta formula pripada nizu resnic sistema ali ne"@sl
"matematický pojem z oblasti matematické logiky"@cs
"property of theories that have computable membership"@en
"propiedad que tiene un sistema formal cuando se puede determinar que forma parte del sistema cualquiera de sus proposiciones"@es
"propriété des théories"@fr
"termine utilizzato in logica matematica e in teoria della computabilità"@it