Разрешимость формальной с-мы:
Теория называется разрешимой, если в ней понятие теоремы эффективно, то есть существует эффективный процесс (алгоритм), позволяющий для любой формулы за конечное число шагов определить, является она теоремой или нет.
Интерпретация формальной системы:
Интерпретация представляет собой распространение исходных положений формальной системы на реальный мир . При интерпретации теоремы формальной системы становится обычными утверждениями о котором можно истины они или ложны .