Mathematics is distinguished from the sciences by the freedom it enjoys in choosing basic assumptions from which consequences can be deduced by applying the laws of logic. We call the basic ...