Original: Formal languages Mathematics and computer science use artificial entities called formal languages (including programming languages and markup languages, and some that are more theoretical in nature).
Simplified: Mathematics and computer science use made-up languages called formal languages (like computer programming languages), but these may or may not be 'true' languages.