How do I (we) know mathematics