Text this: Mathematics and mathematical logic :