This kind of ultimate undeniability is characteristic of axioms, which we may distinguish here from postulates (although some use the two terms interchangeably). The term "postulate" is familiar to many from high-school geometry, where the postulates of Euclid give rise, through chains of deductive syllogisms, to more and more advanced theorems. Later mathematicians, however, recognized that Euclid's postulates (particularly his "fifth postulate") were not immutable, that they could be modified to generate other geometries, of equal mathematical validity and useful in other contexts ().
Previous |