>>420
自然数全体の(素朴な)集合があると矛盾するというのがよくわからん
無限公理を認めるならば、そのような自然数全体の集合は構成できる