Transfinite induction within Peano arithmetic
scientific article; zbMATH DE number 908451
scientific article