Establece que toda función computable puede ser implementada en un lenguaje de programación que combine sólo tres estructuras lógicas.