A Full Axiomatic Development of High School Geometry

This textbook provides a full and complete axiomatic development of exactly that part of plane Euclidean geometry that forms the standard content of high school geometry. It begins with a set of points, a measure of distance between pairs of points and ten simple axioms. From there the notions of length, area and angle measure, along with congruence and similarity, are carefully defined and their properties proven as theorems. It concludes with a proof of the consistency of the axioms used ...