On 4/6/2013 4:42 AM, WM wrote: > On 5 Apr., 23:50, William Hughes <wpihug...@gmail.com> wrote: > >> Then G has an infinite number of >> elements, but you cannot name a single element of G.- > > In D\E we have another situation. If someone claims that D\E contains > an element e, then we can prove that it is not an element of D\E by > induction, since E is an inductive set. This makes D\E being the empty > set.
So, WM thinks that finite sets are inductive sets.
WM has thought without consulting definitions, as usual.