Text this: What is mathematical logic?