Сначала доказываемое утверждение проверяется для n=1, т.е. устанавливается истинность высказывания А(1). Эту часть доказательства называют базисом индукции. Затем следует часть доказательства, называемая индукционным шагом. В этой части доказывают справедливость утверждения для n=k+1 в предположении справедливости утверждения для n=k (предположение индукции), т.е. доказывают, что А(k)A(k+1) (3). Полная индукция находит ограниченное применение в процессе обучения. Примером полной индукции может служить рассуждение, которым следовало бы завершить доказательство теоремы об измерении вписанного угла, если она доказывается отдельно для случая, когда центр окружности лежит на стороне угла, внутри или вне его.