User blog comment:P進大好きbot/ZFC-variant of Rayo's number/@comment-37485018-20190816235322

Isn't \(\mathbb{N}\subset V_\alpha\) the same as \(\alpha<\omega\)?