Induction=I-Axiomatization+First-Order Consistency | Publicación