Demonstração da coerência do programa com os objectivos

Trata-se de matéria standard de teoria dos conjuntos a este nível.