Una conexión muy relevante es que las matemáticas se basan en algunas suposiciones de un salto de fe para que el sistema funcione, llamados axiomas . Argumentaría si estos axiomas son verdaderas suposiciones, o buenas suposiciones, e incluso lo que las palabras verdaderas o buenas significan en el contexto de los fundamentos matemáticos, son cuestiones filosóficas inherentes.
Una forma de evaluar la reducción de las matemáticas a la lógica de Russell es si estos axiomas de línea de base y las reglas de deducción que van de los axiomas a los teoremas son lógicos. Pero, ¿qué significa lógico ? Una posible respuesta es que una declaración es lógica siempre que tenga ciertos lugares donde podamos sustituir lo que queramos, y que la declaración siga siendo verdadera sin importar qué sustituyamos en ella. Este enfoque tiene problemas, pero le dejaré pensar en lo que podrían ser, y lo aliento a leer sobre algunas de las otras posiciones sobre este tema, como el formalismo y el intuicionismo.