“运动着的物体每一瞬间既在这儿又不在这儿”的一个形式证明

摘要

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