Description: Well-Founded Induction Schema. If a property passes from all elements
less than y of a well-founded class A to y itself (induction
hypothesis), then the property holds for all elements of A .
(Contributed by Scott Fenton, 6-Feb-2011)(Revised by Mario Carneiro, 26-Jun-2015)