2016-04-06から1日間の記事一覧
※集合\(n\)に対し\(n\cup\{n\}\)(これは対の公理と和集合の公理により集合をなす)を\(n'\)と書く。\(x\in x\)となる集合\(x\)が存在しないことを示すには基礎の公理が必要となるが、\(\mathbb{N}\)の要素に限定すれば、つまり\(\forall x\in\mathbb{N}[x\n…
※集合\(n\)に対し\(n\cup\{n\}\)(これは対の公理と和集合の公理により集合をなす)を\(n'\)と書く。\(x\in x\)となる集合\(x\)が存在しないことを示すには基礎の公理が必要となるが、\(\mathbb{N}\)の要素に限定すれば、つまり\(\forall x\in\mathbb{N}[x\n…