Es decir, si de un conjunto de proposiciones se sigue una consecuencia entonces existe un subconjunto finito de proposiciones de las cuales se sigue la misma conclusión.