. Toda la matemática es equiparable a la lógica, en cuanto que las expresiones en contexto
que aparecen en una teoría matemática tienen expresiones análogas dentro de una teoría lógica. Ese es el proyecto de Principia Mathematica de Whitehead y Russell.