En cualquier formalización consistente de las matemáticas que sea lo bastante fuerte para definir el concepto de números naturales, se puede construir una afirmación que ni se puede demostrar ni se puede refutar dentro de ese sistema -Teorema de la incompletitud de Gödel.
Un viajero que rehúse pasar sobre un puente hasta haber comprobado personalmente la solidez de cada una de sus partes no irá muy lejos; es necesario arriesgar algo, incluso en matemáticas - Horace Lamb