We extend the theorem of Liouville on integration in finite terms to include dilogarithmic integrals. The results provide a necessary and sufficient condition for an element of the base field to have an antiderivative in a field extension generated by transcendental elementary functions and dilogarithmic integrals.

中文翻译：

---

有限项积分：二对数积分

我们将关于有限项积分的刘维尔定理扩展到包括二对数积分。结果为基域元素在超越初等函数和二对数积分生成的域扩展中具有反导数提供了充分必要条件。