誤爆スマソ。書く前に投稿してしまった（＾＾；

>>534

>スレ主がやっているように無限大を自然数の延長として扱おうとするのならば自然数の全てを数え終わることを
>仮定しなければいけないがスレ主はどのようにすれば自然数の全てを数え終わるとみなせるかを示していない

良い質問だ
時枝問題関連で勉強したところによれば、それは公理だよ
基礎論（特にペアノ）を勉強しな