Desde el punto de vista del cálculo proposicional y del cálculo de predicados de primer orden, se demostró que los sistema de cálculo alfa y beta son a la vez consistentes y completos.