Set-theoretic reflection is equivalent to induction over well-founded classes
scientific article; zbMATH DE number 7237853
scientific article