Text this: Towards Mathematical Philosophy