Euclidean Triangles, Irrational Numbers, and the Purpose of Geometric Theories