ドミノ理論は、数学的帰納法の仕組みを直観的に表す喩えです。並べたドミノが全部倒れるには 2 つの条件が必要だ、という考え方を帰納法に対応させます。
| ドミノ | 帰納法 |
|---|---|
| 最初のドミノを倒す | 帰納の基底（ を示す） |
| 1 枚倒れたら次も倒れる配置 | 帰納のステップ（） |
| すべてのドミノが倒れる | すべての で 成立 |
この 2 つがそろえば、結果としてすべてのドミノが倒れる、つまりすべての自然数 について命題が成り立つことが保証されます。
覚え方 「最初の 1 枚」と「次々つながる仕組み」の両方が必要、というイメージを持てば、帰納法でなぜ基底とステップの両方を示すのかが直観的に納得できる。
