[jjgreen]

ℵ₀ [is] as much a (cardinal) number as 2

Note that this view is common but not universal: https://cs.nyu.edu/pipermail/fom/2023-January/023710.html