foundations of mathematics Synonyms