Text this: The Logic foundations of mathematics