>>366
すみません、数理論理のちゃんとした言葉で話していただけますか？
曖昧なことしか知らないなら、やめてくださいね

>>367
実際に書き出すことは不可能でも、書き出す手順が具体的に記述できるならば、それは有限の立場だと言えます
もっと抽象化すれば、自然数との対応が取れれば良いのです