搜索结果: 1-2 共查到“哲学 axiomatics”相关记录2条 . 查询时间(0.062 秒)
We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbe...
Completeness and Categoricity, Part I: 19th Century Axiomatics to 20th Century Metalogic
Categoricity Completeness
2008/4/10
This paper is the first 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 i...