搜索结果: 1-1 共查到“哲学 the 21st Century”相关记录1条 . 查询时间(0.046 秒)
Completeness and Categoricty, Part II: 20th Century Metalogic to 21st Century Semantics
axiomatic method
2008/4/10
This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins ...