Just as languages like Sanskrit and Greek are historical facts and not absolute necessities, it is only reasonable to assume that logics and mathematics are similarly historical, accidental forms of expression Von Neumann, The Computer and the brain.