A pretensão dos formalistas é transcrever a Matemática – descrições de objetos e construções concretas, extralógicas – num sistema formal. O que é um sistema formal nessa concepção?
consiste de teorias formais, isto é, de termos primitivos, regras para a formação de fórmula, seguidos de axiomas ou postulados, regras de inferências e teorema