Princípio da indução matemática
O princípio da indução matemática é uma técnica para lidar com tipos de dados que têm uma relação de boa-ordem. Em outras palavras,relação de boa-ordem é uma relação onde todo subconjunto não-vazio do tipo de dados tem um elemento mínimo segundo esta relação de ordem.