Euclidean geometry
などの公理（原論では "公準"）を満たす。もちろん他の無定義述語や定義された述語に関する公理も含めてユークリッド幾何学が形成されるのである。ユークリッド幾何学についての詳細はユークリッド原論などを参照されたい。