One of the first steps in axiomatizing a theory is to list the primitive notions. A familiar example is the classical case of Euclidean geometry. We can take as primitives the following three notions: the notion of point, the notion of betweenness – one point being between two others in a line – and the notion of equidistance – (the distance between given points being the same as the distance between two other given points). Other geometric notions can then be defined in terms of these three notions. For example, the line generated by two distinct points a and b is defined as the set of all points c which are between a and b, which are such that b is between a and c, or which are such that a is between c and b.
- Euclid. Elements. Heath translation, 2nd ed., 1925; reprinted, New York: Dover, 1956.Google Scholar
- Hilbert, D. 1899. Gründlagen der Geometrie, 9th ed. Stuttgart. 1962.Google Scholar
- Pasch, M. 1882. Vorlesungen über neuere Geometrie. Leipzig: Springer.Google Scholar
- Suppes, P. 1957. Introduction to logic. New York: Van Nostrand.Google Scholar