But I do wish to suggest that the feeling of self evidence in mathematical propositions has to do with the fact that they are concerned with the meanings of symbols, not with properties of the world such as external observation might reveal.