積分問題

令 為表示實數、單值、部分定義的單實變數函式的一組表示式。令 為由 中的表示式表示的函式集，其中 包含 恆等函式 和作為常數函式的有理數，並且 在加法、乘法和複合運算下是封閉的。如果 是 中的表示式，則令 為 表示的函式。

那麼 的積分問題是決定，給定 在 中，是否存在 在 中，使得 (Richardson 1968)。