\omega+1=\{0,1,2,\dots,\omega\}