2016-06-18から1日間の記事一覧
『Henle集合論』定理6.13の証明を書いてみた。【定理】\( (B, 全単射が存在する。 (証明)整列集合\( (B, 再帰的定義により、順序数全体のクラスを定義域とする関数クラス\(g\)を次のように定める。ただし、\(g[\alpha]\)は\(g\upharpoonright_\alpha\)の値…
『Henle集合論』定理6.13の証明を書いてみた。【定理】\( (B, 全単射が存在する。 (証明)整列集合\( (B, 再帰的定義により、順序数全体のクラスを定義域とする関数クラス\(g\)を次のように定める。ただし、\(g[\alpha]\)は\(g\upharpoonright_\alpha\)の値…