>>13236654What do you mean by a formula "generating data output"
If I'm free to interpret your question, I'd point out that you can consider the class characterized by the union over all ordinals over the sets
where .
So has and the empty set, and is the powerset of that, etc. The level V_4 already has 2^(2^(2^2)) = 65536 elements and the N's set V_N has all hereditarily finite sets, but of course there's an uncountable amount of countable ordinals that can be an index to V_i, and then come all the uncountable ordinals that can be an index to V_i, etc.
If you believe in induction/regularity, then all sets of ZF are in it, i.e. models quasi all of math people will generally encounter.
