【摘要】 空间状态集比时间状态集高一个基数。因此 ,时间状态和空间状态的对应 ,不是一对一的关系 ,而是一对多的关系。这就为“运动着的物体每一瞬间既在这儿又不在这儿”这样的以往只能以哲学思辩来把握的辩证命题 ,在相关的形式刻画和逻辑模型的基础上 ,提供了一个形式证明更多还原

【Abstract】 This paper is to advocate a method of formal analysis within philosophical arguments. Based on some acceptable assumptions, this paper tries to prove that the cardinal of space set is higher by one than that of time set, so that the correspondence between time set and space set is not one to one but one to more. Therefore, it provides a formal proof to such proposition as "moving object is both here and not here in every moment", which has usually been caught by only the philosophical thinking.更多还原