>>785
>「無限回実行はできない」としたら、
>都合が悪いところは、公理を作ってでも
>「無限回実行できる」
>とするんだよ
>それが、基本でしょ
>（例えば、下記の選択公理とかね）

選択公理をを無限回実行と考えるのが誤りである

数学者の中にもしばしば
「無限公理は無限回実行を可能とする公理」
「選択公理は無限回実行を可能とする公理」
と誤解している人がいますが
記号論理の初歩すら学んでいないのでしょう