La verdad de un enunciado matemático, en esta teoría está representada por el hecho de que una declaración se puede derivar de los axiomas de la teoría de conjuntos utilizando las reglas de la lógica formal.El uso del formalismo por sí solo no explica varias cuestiones: ¿Por qué debemos utilizar estos axiomas y no otros, por qué debemos emplear unas reglas lógicas y no otras, por qué proposiciones matemáticas "verdaderas" (p.