Text this: The principles of mathematics revisited