Si son muchos más.
Si decimos que los Naturales son infinitos de orden 1, entonces
Los Racionales son también de orden 1 (esto quiere decir, que podrías armar una función biyectiva entre los naturales y los racionales)
Los Irracionales son de orden 2 (o sea, que NO se pueden poner en una relación biyectiva con los naturales)
Es espacio de las funciones es de orden 3
Lo último que voy a agregar respecto a este tema (porque la información escapa a mis conocimientos) es que hasta el momento no existe "algo" que esté entre el orden 1 y el orden 2
El orden vendría dado por lo siguiente:
$$\begin{align}&Orden \ 1: \infty\\&Orden\ 2: \infty^{\infty}\\&Orden\ 3: (\infty^{\infty})^{\infty}\\&\end{align}$$
Salu2