Text this: Towards mathematical philosophy :