公理化方法最早出现在大约公元前3世纪,古希腊的欧几里得总结了古代积累起来的几何学和逻辑学的丰富资料,以三段论法为逻辑依据,在历史上提出了第一个公理系统。 在历史上 欧几里得 三段论 发布时间:2023-08-30 10:25:16