<human>:  I have a question about the history of Mathematical languages. What is the first known formal language?
<bot>: The first known formal language was arithmetic. It was developed by the ancient Greeks, and it was used to describe the properties of numbers.