Sobre o processo de prova de consistência proposto pelo formalismo, qual a alternativa FALSA?

Tem aplicação geral, por isso seu grande valor para as diversas ramificações da matemática.

 Utiliza três etapas: a axiomatização, a formalização e a demonstração de consistência.

 Serve para demonstrar a consistência de uma teoria com base em outra já sabidamente consistente.

 Foi usado para demonstrar a validade de diversas geometrias não euclidianas.

 Para ser utilizado, é preciso que o sistema modelo já tenha sua consistência assegurada.