A CONSISTENT RESULT OF THE SYSTEM Z+ THE REPLACEMENT AXIOM SCHEMA OF ∑_n-FORMULAS

A CONSISTENT RESULT OF THE SYSTEM Z+ THE REPLACEMENT AXIOM SCHEMA OF ∑_n-FORMULAS

导出

摘要 The hierarchy of systems of set theory plays an important role in the study of mathematical foundation. Quine, Wang Hao and Zhang Jin-wen have done a lot of work in this field.

作者赵希顺

机构地区 Department of Mathematics

出处《Chinese Science Bulletin》 SCIE EI CAS 1990年第12期979-980,共2页

关键词 ZF″ TRUTH definition consistency. ZF″,truth definition,consistency.

分类号 N [自然科学总论]

引文网络
相关文献

1李白,黄凤英.试论“真”与“真理”的运用[J].珠海教育学院学报,1999,5(2):30-31.
2陈练寒.AD+DC_(■_1) Is Incompatible[J].Chinese Science Bulletin,1993,38(6):444-447.
3赵希顺.AXIOM OF CHOICE IN THE MODEL C[J].Chinese Science Bulletin,1990,35(22):1849-1852.
4张锦文.A HIERARCHY OF AXIOM SYSTEM ACG[J].Science China Mathematics,1990,33(2):129-134.
5应明生.ANOTHER VERSION OF THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT OF LATTICE-VALUED MODELS[J].Chinese Science Bulletin,1992,37(17):1491-1492.
6Dennis L. Sansom.Truth and the World： Why Davidson Is Right and Rorty Is Wrong[J].Journal of Philosophy Study,2011,1(1):67-76.
7Marta Szabat.The Normative Value of Truth and the Problem of Lie[J].Journalism and Mass Communication,2015,5(2):98-104.
8陈藻平,刘培东.ORBIT SHIFT STABILITY OF CLASS OF SELF-COVERING MAPS[J].Science China Mathematics,1991,34(1):1-13.
9JIANG Changjun,LI Caiwei,ZHENG Yingping.Replacement Operation of Petri Net and Its Application to Systems Hierarchical Modeling[J].Systems Science and Systems Engineering,1998,8(1):75-84.
10LV Jie-yu.ZENG Xu-bai and the Journal Truth, Beauty, and Goodness[J].Sino-US English Teaching,2015,12(1):69-73.

Chinese Science Bulletin

1990年第12期

浏览历史

内容加载中请稍等...

A CONSISTENT RESULT OF THE SYSTEM Z+ THE REPLACEMENT AXIOM SCHEMA OF ∑_n-FORMULAS

相关作者

相关机构

相关主题

浏览历史