Zermeloのs(x)={x}に関して
　ωはいかなる順序数の後者ではないので、シングルトンにはなりようがない
　ωから任意の自然数ｎへの降下列が存在するためには、ωを自然数の無限集合とするしかない