Prove that for all $\alpha \in ON$ the set $V_{\alpha}$ is transitive

by Esteban Cambiasso   Last Updated June 12, 2019 07:20 AM - source

Im a little stuck here. I'm thinking of doing induction on the ordinals (ON), but i cant make it work.

Can somone help me?

Tags : logic


Related Questions



Predicate Logic - English Sentence Translation

Updated April 19, 2018 00:20 AM