La filosofía inicial del formalismo, tal como es ejemplificada por David Hilbert, es una respuesta a las paradojas de la teoría axiomática de conjuntos, que se basa en la lógica formal.