>>299
>平たく言えば、基礎論の無限については
>原則として
>無限に関する集合は、証明されるべきものではなく
>無限公理として導入されるべきもの
>ということですね
問１は無限公理を用いてどう証明するかを問う問題なのに何をトンチンカンなこと言ってるのやら

> １．ZFにおいてツェルメロの自然数全体の集合Nz:={{},{{}},{{{}}},・・・}が存在する。