>>683
＞「半分切って食べる操作を繰り返せばケーキをすべて食べ尽くせるか？」
＞という問いが数学の命題になってない（命題と呼ぶには不十分）

というより、ケーキの形次第で
「I_nの大きさがI_（n-1）の大きさの半分」
になるような無限個の集合に切り分けることは
数学的に可能であるし、そのように切り分けさえすれば
「食べる」云々はどうにでも解釈できるから
数学として排除する理由はない、というのが私の主張