Una proposición sobre objetos de la teoría se verifica en el modelo si bajo la correspondencia establecida en el modelo se da lo descrito por la proposición analizada.