I went deeper into the rabbit hole and learnt that to show that aleph_0 is the smallest infinite we need the axiom of countable choice!

Now I wonder about all those models where countable choice does not hold. What are those infinites smaller than aleph_0?

— Jaime Sevilla (@Jsevillamol) December 4, 2020