Induction = I-Axiomatization + First-Order Consistency (0)

by H COMON, R NIEUWENHUIS
Venue:May/June 2000