La propiedad recíproca no siempre se cumple, una proposición que se satisface en todos los modelos de una teoría no tiene porqué ser deducible del sistema de axiomas.