Resultado derivado de aplicar reglas y axiomas dentro del sistema formal.Autor: Kurt GödelAño: 1931
» Glosario General Teoría de Sistemas