構造化定理
構造化定理（こうぞうかていり、）とは、任意の一入力・一出力関数は、順次（sequence）、選択（ifthenelse）、繰り返し（whiledo）の３つの基本制御構造からなる関数と等価であることを主張する定理である。構造化プログラム定理（structured program theorem） あるいは ベーム-ヤコピーニの定理（Böhm-Jacopini theorem）とも呼ばれる。
goto文を除去することを正当化する内容を持ち、ミルズの構造化プログラミングにおいて基本となる定理である。