The 'deductive reasoning' (rationibus probatum) seems to be the arguments alleged in Chap. XXV. What St Thomas here calls 'induction' is the noted inductio per enumerationem simplicem. He has enumerated all other alternatives and shown that this alone remains tenable. We might call it the 'method of residues.'