07/10/26 12:38:56
>>190-191
なんでΩ(非可算順序数)を使うのか不可解だったがやっと分かったよ。
要するに、非可算であることは全く使ってなくて
単に"不動点"に依存しないように、どんな帰納的順序数も
届かないようなトンデモナイところにあるΩを
不動点の代わりとして使ってるだけじゃん！
07/10/26 12:38:56
>>190-191
なんでΩ(非可算順序数)を使うのか不可解だったがやっと分かったよ。
要するに、非可算であることは全く使ってなくて
単に"不動点"に依存しないように、どんな帰納的順序数も
届かないようなトンデモナイところにあるΩを
不動点の代わりとして使ってるだけじゃん！