公理的定义是什么?就是不需要加以证明的真命题.
“凡直角都彼此相等”其实并不是他给出的公理,而是第四个公设.它是可以用第一个公理来说明：等于同一个量的量相等.因为凡是直角都等于同一个量（即90°）所以它们都相等