Las matemáticas son un método lógico. . . . Las proposiciones matemáticas no expresan pensamientos. En la vida nunca es una proposición matemática lo que necesitamos, sino que utilizamos proposiciones matemáticas sólo para inferir de proposiciones que no pertenecen a las matemáticas a otras que tampoco pertenecen a las matemáticas.