Função do erro na inscrição simbólica

Definição

O erro é tratado como operador de diferenciação e não como simples desvio a eliminar. Através do erro, o sistema é obrigado a refinar protocolos, a tornar explícitas pressuposições e a criar novas marcas e símbolos, aumentando a robustez do regime de inscrição.