14.04.2014 15:15
Completo, exclusivamente
Completo, exclusivamente. Un sistema deductivo formal es expresivamente completo cuando es posible asignar significados a sus términos inndefinidos de modo que toda proposición respecto a esa materia pueda expresarse como una fórmula del sistema.
—————