A generalization of formula of integration by parts is given and formalized arithmetic of indefinite integral has been discussed.

• 摘要给出了分部积分公式的推广形式，并讨论了分部积分过程的形式化。