Text this: Logic of mathematics