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