特别，讨论了区间分离后的时态关系确定问题以及公理的完备性。
Especially, it is discussed how to determine their temporal relations when some intervals are splitted in calculus.
该系统有7 个公理，具有函数完备性和系统完备性。
This system is functionally complete, has7axioms, and its completeness theorem has been proved.
该系统有7 个公理，具有函数完备性和系统完备性。
This system is functionally complete, has7axioms, and its completeness theorem has been proved.
应用推荐