>>350
>>351の訂正：
可算個存在する → 有限個存在する
「帰納的に」の部分は取り消し。
物理的にいうと、粒子には半径がある。
このような状況の下で、物体の境界の存在性の判定してみておくれ。