|
|||||
|
|
| 一个与Euclid—Hilbert几何公理系统等价而又简化了的公理系统 | |
| 引用本文： | 谢云.一个与Euclid—Hilbert几何公理系统等价而又简化了的公理系统[J].南京师大学报,1985(2). |
| 作者姓名： | 谢云 |
| 作者单位： | 荆州师专 |
| 摘 要： | 引言从Euclid开始,经过Arichimedes、Pasch等人的修改和扩充,最后由Hilbert完善的Euclid几何学公理体系,是历史上第一个用公理化方法解决一个数学分支的逻辑基础的例子,是现代数学公理化方法的典范。由于它的问世,“不仅公理化方法进入数学的其它各个 |
| 本文献已被 CNKI 等数据库收录！ | |