公理化方法最早出现在大约公元前3世纪,古希腊的欧几里得总结了古代积累起来的几何学和逻辑学的丰富资料

2022-08-18 23:42 数学思想与文化