[03R] We indicate with \({\mathcal P}_{\mathfrak f}(A)\) the set of subsets \(B⊆ A\) which are finite sets. This is called colloquially the set of finite parts.
Show that \({\mathcal P}_{\mathfrak f}(ℕ)\) is countably infinite.
[03S]↺↻
This result applies in general, see [053]↺↻.
[ [03T]↺↻]
