display all the ideas for this combination of philosophers
1 idea
10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
Full Idea: Defining a set by induction enables us to use the method of proof by induction to establish that all the elements of the set have a certain property. | |
From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.3) |