Title: Logic, Induction and Sets