Read Exercise R3: Show that no ordinal is Π₂-reflecting on the class of successor ordinals.
(1) Reflecting Ordinals: https://googology.fandom.com/wiki/Reflecting_ordinal (2) Lévy Hierarchy: https://en.wikipedia.org/wiki/L%C3%A9vy_hierarchy https://googology.fandom.com/wiki/Levy_hierarchy (3) Gödel's Constructible Hierarchy: https://en.wikipedia.org/wiki/Constructible_universe https://googology.fandom.com/wiki/Constructible_universe (4) Solarzone's OCF: https://googology.fandom.com/wiki/User_blog:TrialPurpleCube/OCF_up_to_%CE%A0-n_reflection (5) Degrees of Reflection: https://web.mit.edu/dmytro/www/other/OrdinalNotation.htm#A4
