Text this: Metamathematics and the philosophical tradition /