2016-04-25から1日間の記事一覧
※このエントリの内容は古くなっています。より簡明な証明が http://y-bonten.hatenablog.com/entry/2016/05/19/060644 にあります。任意の集合\(x\)の各々に対し、ただひとつの集合\(G(x)\)を与える規則\(G\)が与えられている。規則\(G\)の実体は、\(\forall…
※このエントリの内容は古くなっています。より簡明な証明が http://y-bonten.hatenablog.com/entry/2016/05/19/060644 にあります。任意の集合\(x\)の各々に対し、ただひとつの集合\(G(x)\)を与える規則\(G\)が与えられている。規則\(G\)の実体は、\(\forall…