Towards a Philosophy of Real Mathematics