Single Idea 13019

[catalogued under 4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets]

Full Idea

The Iterative Conception (Zermelo 1930) says everything appears at some stage. Given two objects a and b, let A and B be the stages at which they first appear. Suppose B is after A. Then the pair set of a and b appears at the immediate stage after B.

Gist of Idea

The Iterative Conception says everything appears at a stage, derived from the preceding appearances

Source

Penelope Maddy (Believing the Axioms I [1988], §1.3)

Book Reference

-: 'Journal of Symbolic Logic' [-], p.485


A Reaction

Presumably this all happens in 'logical time' (a nice phrase I have just invented!). I suppose we might say that the existence of the paired set is 'forced' by the preceding sets. No transcendental inferences in this story?