Von Neumann's theorem: given a class function G, there exists a unique class function F on ordinals with F(α) = G(F↾α). Extends Dedekind's recursion over ℕ to Ord. Enables constructions of the cumulative hierarchy V_α, the constructible…
Von Neumann's theorem: given a class function G, there exists a unique class function F on ordinals with F(α) = G(F↾α). Extends Dedekind's recursion over ℕ to Ord. Enables constructions of the cumulative hierarchy V_α, the constructible…