Text this: Logic in mathematics :