質問: aを集合とする。このとき、ある集合λが存在し、ある写像a:λ→aが存在して、a={a_λ|λ∈λ}が aを集合とする。このとき、ある集合λが存在し、ある写像a:λ→aが存在して、a={a_λ|λ∈λ}が成立する。よって、任意の集合は添え字付け出来る。 <証明> λ:=aと定めると、aは集合なので、λは集合。 写像a:a→a,a(λ):=λとするとこれはwell-defined。 よって、{a_λ|λ∈λ}={λ|λ∈λ}=λ=a あっていますか?
回答: はい。