2016-05-19から1日間の記事一覧
任意の集合\(x\)の各々に対し、ただひとつの集合\(G(x)\)を返す規則\(G\)が与えられている*1。順序数\(\alpha\)ごとに、条件\(\psi_\alpha(f)\)を「\(f\)は\(\alpha\)を定義域とする関数であり、任意の\(\beta\in{\rm dom}f\)について\(f(\beta)=G(f\upharpo…
任意の集合\(x\)の各々に対し、ただひとつの集合\(G(x)\)を返す規則\(G\)が与えられている*1。順序数\(\alpha\)ごとに、条件\(\psi_\alpha(f)\)を「\(f\)は\(\alpha\)を定義域とする関数であり、任意の\(\beta\in{\rm dom}f\)について\(f(\beta)=G(f\upharpo…