El matemático Benjamin Peirce definió las matemáticas como "la ciencia que señala las conclusiones necesarias".