”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”

>>653-654
屁理屈だけは、一人前か
弥勒菩薩氏から、”基礎論婆”とか呼ばれるが
その実、大学学部1年の基礎論で詰んだ男だったか？ｗｗｗ

おまえは、>>652のThomas Jechの 証明の講釈を言っているのかな？ｗ ；ｐ）
あるいは Thomas Jechの 証明に 疑義を呈していなかったか？ｗｗ

　>>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. ■”

これで良いんじゃないの？
すっきりしているじゃん！ｗ ；ｐ）

(参考)
languages.oup.com/google-dictionary-ja
Oxford Languagesの定義
デフォルト
2.
コンピュータで、あらかじめ設定されている標準の状態・動作条件。初期設定。初期値。
▷ default