Consider ZFC with both powerset and infinity removed and collection included. The well-ordering principle is not assumed.
Does this theory prove that, for every set $X$, there is a set of all finite subsets of $X$?
Existence of finite powerset
Paul Blain Levy
- 1.4k
- 7
- 21