Search
❯
Dec 08, 20251 min read
A set is finite exactly when it can be put in bijection with a natural ordinal.