| 一个－阶逻辑公理系统独立性的证明 |
| |
| 引用本文： | 何自强. 一个－阶逻辑公理系统独立性的证明[J]. 北京航空航天大学学报, 1994, 0(1) |
| |
| 作者姓名： | 何自强 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系 |
| |
| 摘 要： | 独立性是公理系统的重要性质之一．给出了一个－阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性．
|
| 关 键 词： | 数理逻辑；逻辑系统；公理；独立性；算术解释 |
A PROOF OF THE INDEPENDENCE OF AN AXIOM SYSTEM FOR FIRST-ORDER LOGIC |
| |
| He Ziqiang. A PROOF OF THE INDEPENDENCE OF AN AXIOM SYSTEM FOR FIRST-ORDER LOGIC[J]. Journal of Beijing University of Aeronautics and Astronautics, 1994, 0(1) |
| |
| Authors: | He Ziqiang |
| |
| Abstract: | The independence is one of important properties for an axiom system. An axiom systemfor first-order logic is given. Its independence is proven by using semantical interpretationand formula transformation. |
| |
| Keywords: | mathematial logic logical systems axioms independence arithmetic interpretation |
| 本文献已被 CNKI 等数据库收录！ |
