公理の分類:基本公理(例:平行公理)、合成公理(例:合同公理)、および完備公理