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