Las formas de contar probablemente son los primeros ejemplos de formalización técnica del lenguaje.