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

As teorias logicista, finitista, intuicionista e estruturalista, amplamente discutidas na literatura, constituem claras propostas de respostas às questões (a) – (c). E a teoria de estádios e a teoria potencialista, também elas amplamente discutidas na literatura, constituem propostas de resposta à questão (d).