| 一个－阶逻辑公理系统独立性的证明 |
| |
| 引用本文： | 何自强.一个－阶逻辑公理系统独立性的证明[J].北京航空航天大学学报,1994(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(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 等数据库收录！ |
