Forster, Thomas: Logic, Induction and Sets