Mathematics and philosophy