710 名前:現代数学の系譜 雑談 [2025/01/26(日) 23:22:53.50 ID:57hfZFiX.net] ”<公開処刑 続く> (『 ZF上で実数は どこまで定義可能なのか?』に向けて と (あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/” >>653-654 屁理屈だけは、一人前か 弥勒菩薩氏から、”基礎論婆”とか呼ばれるが その実、大学学部1年の基礎論で詰んだ男だったか?www おまえは、>>652 のThomas Jechの 証明の講釈を言っているのかな?w ;p) あるいは Thomas Jechの 証明に 疑義を呈していなかったか?ww >>643 『∀B∈(P(A)-Φ)についてf(B)∈B⊂A』なんて わざわざ 書かなくても良いぞ システム入力のデフォルトみたいなものだ(下記) グダグダ書いたら、証明が読みにくくなる >>652 より ”We let for everv α aα=f(A-{aξ:ξ<α}) if A-{aξ:ξ<α} is nonempt. Let θ be the least ordinal such that A = {αξ: ξ < θ}. Clearly,(aα:α< θ) enumerates A. ■” これで良いんじゃないの? すっきりしているじゃん!w ;p) (参考) languages.oup.com/google-dictionary-ja Oxford Languagesの定義 デフォルト 2. コンピュータで、あらかじめ設定されている標準の状態・動作条件。初期設定。初期値。 ▷ default