>>350
おっちゃんです。
お前さんの主張に従うと、数理モデル化して考えるにあたり、物体が完備であることを仮定してよいことになる。
だから、物体を構成する原子や素粒子などの粒子が非可算個存在すると仮定してよいことになる。
勿論、境界がないような物体も含めて考えることになる。
物体を構成する原子や素粒子などの粒子が可算個存在することは大体>>332の後半のようにして考えれば示せる。
帰納的に A_1⊃A_2…⊃…A_n⊃…、lim_{n→+∞}A_n ＝Φ なる車の粒子の列 A_1, A_2, …, A_n, … は存在しないことを示すのが先だ。
だが、物体に境界がないこと或いは境界があることはどのようにして判定するんだ？　判定してみておくれ。