- 569 名前：１３２人目の素数さん mailto:sage [2025/01/23(木) 13:14:13.48 ID:WqZeyyqf.net]
- >順序数 ξ<α の (超限帰納法)で、
>『超限帰納法は証明だけではなく定義にも用いられる
> たとえば整列集合を定義域とする写像f(x)を
> {f(y)|y≺x}を用いて定義する手法がある』
その説明は正しいよ
でも、上記とは関係なく
選択公理に適用する集合族を定義するのに
選択公理を適用した結果、存在が導かれるfを使ったら
循環論法だよね
