Pero es la formalización del lenguaje científico, la formalización en la expresión del conocimiento donde se plantea la verdadera formalización del lenguaje, con sentido universal.