The structural induction proof is a proof that the proposition holds for all the minimal structures, and that if it holds for the immediate substructures of a certain structure S, then it must hold for S also.
Доказ структурне индукције је доказ да  предлог важи за све минималне структуре, и да ако се држи за непосредне подструктуре одређене структуре С, онда мора се држати и за С такође.