| 论公理化方法及其沿革 |
| |
| 引用本文： | 夏金宝. 论公理化方法及其沿革[J]. 南京建筑工程学院学报, 1994, 0(3): 73-78 |
| |
| 作者姓名： | 夏金宝 |
| |
| 作者单位： | 南京建筑工程学院基础部 |
| |
| 摘 要： | 介绍了公理化方法由产生到逐步走向成熟的历史过程及公理系统的三大特点，指出研究公理系统的内在逻辑结构的意义和公理化方法的局限性。
|
| 关 键 词： | 公理系统 完全性 独立性 公理化法 |
On the Method and Procedure of Axiom |
| |
| Xia Jinbao. On the Method and Procedure of Axiom[J]. Journal of Nanjing Architectural and Civil Engineering Institute(Natural Science), 1994, 0(3): 73-78 |
| |
| Authors: | Xia Jinbao |
| |
| Abstract: | This paper introduce the historical proceduce of the axiom method from beginring to mature and three characteresties it,pointing out the intuitive logical sense and limit of the axiom method. |
| |
| Keywords: | axiom system completion independence compatibility |
| 本文献已被 CNKI 维普 等数据库收录！ |
