Prova da Tese da Consistência (# tem modelo--># é consistente)

1. Suponha que # é inconsistente.
2. # |- Falso
3. (#|- A) --> (# |= A) [teorema da correção]
4. # |= A
5. Falso não tem modelo
5. # não tem modelo
6. # é inconsistente--># não tem modelo
7. # tem modelo--># é consistente


.