>>246
なんだw
存在例化で、存在が固定されるとか言うけど、
証明の便宜のため名前を付けて、証明の中だけ固定しているけど、証明終わったら固定は解除されて具体的なことは言えない
てか
だったら、存在例化は、ZFCの集合には、何の影響もない
証明の外ではwww
そう言うことでしょ