Induction = I-axiomatization + first-order consistency.
scientific article; zbMATH DE number 1853108
scientific article