Theorems & Postulates

Ruler Postulate
The points on a line can be paired with the real number in such a way that:
1. Any two desired points can have coordinate 0 and 1
2. The difference between any two points equals the     
    absolute value of the difference between
    the coordinates.