Incluso si aceptamos esta como una definición de formula_11, seria la primera vez que un número se define como un proceso de límite.