你都说是定义了。
定义，就是承认公理。
【 在 isaacova 的大作中提到: 】
: 勾股定理是正交系的定义，不仅仅是二位正交平面
--
FROM 117.136.64.*