Text this: Logic, induction and sets