sentence1: Si no se puede probar una declaración, puede desarrollarse o se desarrollará una inconsistencia o autocontradicción que invalide el sistema.
sentence2: ¿Debería ser la llegada a este punto el foco de atención para el examen de cualquier sistema?