Citat:
Slobica8990: Integral je ANTI DIFERENCIRANJE , znamo vec postupak , tacnije meni nije jasno kako su oni bas do tog postupka dosli , kako su to zakljucili , jel postoji neki dokaz , jer ja na tako nesto nisam naisao u literaturi ( matematika za 4. srednje prirodni smer ).
Neodređeni integral neke funkcije na nekom intervalu je
po definiciji skuppp svih primitivnih funkcija te funkcije na tom intervalu.
Određeni integral nije funkcija, nego konstanta, koji se definiše kao granična vrednost Rimanovih suma te funkcije kada finoća podele teži nuli.
Određeni i neodređeni integral povezani su na primer Njutn-Lajbnicovom teoremom. Ta formula već ima dokaz. Takođe, primitivna funkcija

neprekidne funkcije

definisane na intervalu

ima oblik

,
gde je

, a

bilo koja konstanta (zapravo, važiće

). Ovo je takođe teorema.
Dokazi osnovnih stavova uvek zavise od izbora definicija/aksioma.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.