Requisitos de rigor en el razonamiento: expresión simbólica y completitud de la cadena lógica