５）また、上記 Jech ”That we can do by induction, using a choicc fimction f for the family S of all nonempty subsets of A.”は 下記のen.wikipedia の Well-ordering theoremの証明では、省かれているよ 溺れる者は藁をもつかむだろうｗ ；ｐ） さらに、Jech ”Let θ be the least ordinal such that A = {αξ: ξ < θ}.” が、下記 en.wikipedia の Well-ordering theoremの証明の ”of order type sup{α∣aα is defined}.”に対応している
