>>425 つづき
>>409
>つまり「Kolmogorovの公理系は何か無理してる」と
>いう印象です。（制限がキツ過ぎると同時に、何か大事なクラスを排除してる？）

はい、その例が、>>393の"２．その一方で『扱えて欲しいものが定式化出来ない』（時枝問題とか）がある"と
可算無限個の箱の数列のしっぽでの同値類分類の決定番号の確率計算は、Kolmogorovの公理系では、制限がキツ過ぎ、排除されるということですね