mathematical logic Synonyms