Description: Founded Induction Schema. If a property passes from all elements less
than y of a 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)