Here is a sentence from the Baidu Baike article on set theory 集合论. I am trying to read this article using a dictionary because it has many words that I have not seen before.
Zài dàduōshù xiàndài shùxué de gōngshìhuà zhōng, jíhélùn tígōngle yào rúhé miáoshù shùxué wùjiàn de yǔyán.
I am pretty sure that the first part translates to
In the formalization of most of modern mathematics, ....
I think that the second part translates to something similar to
set theory provides the language for describing mathematical objects. For the second part, I am guessing based on context.
However, I don't know what 要如何 contributes to the meaning. Also, I don't know why 提供 appears with the perfective marker 了. The article might be saying that set theory has provided a language for describing mathematics, and describing a change in modern math from a historical perspective.
How do you actually translate this sentence? What are 了 and 要如何 contributing to its meaning?