In 'Foundations Of Geometry' (attached) there is an axiom which states that for any two points on a straight line, there is a point on the line between them, and then on page 11 it states a theorem that there are infinitely many points between any two points, presumably the proof of this is that between any distinct points A and B the axiom is applied to this to get another point, C, which lies between A and B, then the axiom is applied to the points A and C to get D lying between them (D lies between A and C) and so on forever. This proves that there are countably infinite points between any two as the points are proven one after another (D is proven after C and so on) so there is a bijection between them and the natural numbers (C to 1, D to 2, and so on), however normally a straight line is thought to be represented by an interval of real numbers with the length of that interval being the line's length and every distinct point in that interval is a distinct point on the line, but there are uncountably infinite elements in that interval and so uncountably many points on a straight line, yet the proof only gives countably infinite points. The book doesn't even give a proof, only stating it is 'obvious' and the proof is one I came up with, so am I missing something or is this a serious deficiency in the Foundations Of Geometry?