construção de axiomas

Para cada par de axiomas de incidência construa um modelo no qual estes dois axiomas são satisfeitos mas o terceiro não. (Isto mostra que os três axiomas são independentes, no sentido que é possivel provar qualquer um deles a partir dos outros dois).