Transfinite cardinal numbers