構造的帰納法

構造的帰納法（こうぞうてききのうほう、英: structural induction）とは、数学的帰納法を一般化した証明手法の一つ。数理論理学、計算機科学、グラフ理論などの数学分野で使用される。