Completitud de la Lógica de Predicados de Primer Orden

Se presenta la completitud de la Lógica de Primer Orden, siguiendo un esquema similar al seguido en Prop pero con las diferencias inherentes al primer orden: es necesario constuir un modelo.