>>251
可算だとなぜ食べ終わることになるのですか？

数理論理学の証明の定義でも、推論規則を適応するステップは有限回で終わらないと証明とはみなされませんよ？



無限公理と今回の話なんの関係があるんですか？