搜索结果: 1-1 共查到“公理集合论 Provability”相关记录1条 . 查询时间(0.046 秒)
We sharpen H丩ajek乫s Completeness Theorem for theories
extending predicate product logic, 儺佂. By relating provability
in this system to embedding properties of ordered abelian groups
we construct a ...