21/12/18 09:12:03.48 sD9++F1B.net
>>353 追加
>なぜ、「演算f(X)={X}の可算無限回合成」が出来るかの説明が抜け落ちてます。
つらつら考えてみると
ここ、違う気がする
そもそも、公理系で規定される操作（オペレーション）は、のぞむ限り何度でも可能が原則では？
公理には、そうは書いていないが
「この操作（オペレーション）は、最大３回まで」とか、そんな制限はないですよね
よって、公理系では、基本原則として、公理体系内で構築された複合的な操作は、無制限に繰り返せるべき
もし、ある操作が無制限に繰り返せないとすれば、それは個別具体的事情から、不都合が起きる場合だけですよね
つまり、”この場合はこの操作を無制限に許すと まずい”という個別事情が示されない限り、無限回の操作は可でしょう
公理体系における、原理原則と 個別具体的事情による禁止（制限）とが、逆転している気がする