En ese sentido, una teoría formal es adecuada para describir la realidad, si cualquier modelo formal de la teoría se asemeja al mundo real o situación empírica real que trata de explicar.