Logic Induction and Sets