Una teoría científica formal puede ser interpretada formalmente en un modelo formal donde los axiomas de la teoría así como las deducciones a partir de esos axiomas se satisfacen.