积分问题

令 为表示实数、单值、部分定义的单实变量函数的一组表达式。令 为由 中的表达式表示的函数集，其中 包含 恒等函数 和作为常数函数的有理数，并且 在加法、乘法和复合运算下是封闭的。如果 是 中的表达式，则令 为 表示的函数。

那么 的积分问题是决定，给定 在 中，是否存在 在 中，使得 (Richardson 1968)。