Sinónimos de informal
Un lenguaje de programación, con su sintaxis formal y las reglas de demostración que define su semántica, es un sistema formal para el cual la ejecución del programa provee solamente un modelo.
Desde el punto de vista del marxismo formal Kautsky tenía razón al afirmar que en Rusia no se daban las condiciones para la realización del socialismo en 1917.