>>513
>発狂していると思うのは私だけだろうか？
　はい
>”A∖{aξ∣ξ<α}”内では、選択関数 f は、使われていない
　表記の中にfが現れないだけで「使われていない」と脊髄反射ですか
　aα=f(A∖{aξ∣ξ<α})　なら
　aξ=f(A∖{aψ∣ψ<ξ}) 　だから
　A∖{aξ∣ξ<α}＝A∖{f(A∖{aψ∣ψ<ξ})∣ξ<α}
　もちろん、f(A∖{aψ∣ψ<ξ})をさらに書き換えることもできるが
　順序数は整礎なので、再帰は有限回で止まる
　いずれにせよA∖{aξ∣ξ<α}には、選択関数 f は、使われまくりなのよ
　考えない●ルには見えないだけ　ウッキー