nLab
language (in model theory)

Idea

formal language as used in model theory