ユークリッドの幾何学は公理系の上に築かれている。
Yuukuriddo no kikagaku wa kourikei no jou ni kizukarete iru.
Euclidean geometry is built upon a system of axioms.
公理系が持つ無矛盾性を証明することは難しい。
Kourikei ga motsu mumujunsei o shoumei suru koto wa muzukashii.
It is difficult to prove the consistency that a system of axioms possesses.