>>328
ケーキを食べ終わるかどうか、は数学的に定義された概念なのですか？

今考えてる話が数学で厳密に定義されている、というあなたの考えの方が思い込みではないですか？