La construcció d’un sistema formal resulta, aleshores, d’obtenir, a partir d’uns axiomes inicials, dels quals pot no existir cap realització concreta (i dels quals hom no en qüestiona l’existència “real”), un conjunt consistent de teoremes. El formalisme, anomenat a voltes axiomatisme o axiomàtica formal, fou introduït pel matemàtic alemany David Hilbert, i, com a intent de fonamentació de la matemàtica, s’oposa al logicisme de Russell i Whitehead i a l'intuïcionisme de Brouwer.
m
Matemàtiques