Základní metavěta integrálního počtu

Nechť x a y jsou matematici. Nechť f je reálná funkce a M podmnožina množiny všech reálných čísel (např. interval). Nechť existují x-ův i y-ův integrál z funkce f přes množinu M. Pak si tyto integrály jsou rovny.

Jiří Nečas

Tato metavěta byla formulována roku 2005 a zveřejněna na webových stránkách roku 2009