A sentence is provable from a set of premises if and only if there is a finite proof of the conclusion from the premises.