Text this: Fundations of mathematics