Before revision: Eliminative induction Eliminative induction, also called variative induction, is an inductive method in which a generalization is constructed based on the variety of instances that support it.
After revision: Eliminative induction Eliminative induction, also called variative induction, is an inductive method first put forth by Francis Bacon; in it a generalization is constructed based on the variety of instances that support it.