Text this: Foundations of abstract mathematics