本书以几何公理化方法的历史发展成果为基础，系统给出了欧几里得几何、非欧几里得几何和投影几何研究的现代方法。公理化几何是形式化数学的起源，其中有很多著名问题有待解决。对这些著名问题的研究往往会导致许多研究领域特别是代数研究领域的产生。基于公理化思想的数学理论是现代数学的基本特征。本书详尽地论述了公理化几何研究的内容，也给出了许多著名问题的完备性证明。