Text this: On the foundations of geometry and formal theories of arithmetic /