Incluso, el propio lenguaje admite la verificación deductiva.