Liouville's theorem
定理の名は19世紀のフランスの物理学者ジョゼフ・リウヴィルとロシアの数学者ウラジーミル・アーノルドに因む。リウヴィルの定理として知られていた第一積分による求積可能条件について、後に、アーノルドが幾何学的な観点から再定式化を行った。なお、シンプレクティック幾何学の文脈においてはアーノルド＝ヨストの定理 () とも呼ばれる。