Так логически рождается эта удивительная категория интеграла.
4. Остается еще сказать несколько слов о том, что значит в логическом смысле получить неопределенный интеграл. Математики учат, что интегрирование всегда содержит в себе ту неопределенность, что к получаемому виду функции как первообразной мы должны еще прибавить величину с, именно произвольную постоянную величину. Объясняется это тем, что, поскольку производная от постоянного равняется нулю, в интеграле всегда должны быть те или другие постоянные, которые при дифференцировании исчезают, переходя от производной к первообразной. Мы, конечно, должны учитывать и их. Можно также сказать, что интегрирование функции в этом «неопределенном» виде дает нам интеграл как функцию только верхнего своего предела. Он ограничен «сверху», а не «снизу», т. е. если мы получаем в качестве интеграла некоторую кривую, то чертить мы ее можем, как угодно перемещая ее ординаты поступательно параллельно самим себе, ибо начало отсчета по х–гм остается совершенно неопределенным и потому произвольным. Это и называется неопределенным интегралом. Он получается всегда, когда мы идем от производной к первообразной. И если каждому интегралу соответствует только одна производная, то каждой производной соответствует бесконечное количество интегралов, правда различающихся между собою не структурой функции, но только тем или иным постоянным. Геометрически мы тут получаем не просто кривую, но т. н. семейство кривых, т. е. бесчисленное количество мест, где чертится одна и та же кривая в зависимости от допущений той или другой точки отсчета по линии х–ов при черчении данной кривой.