Mathematical logic Synonyms