Математическая логика и теория алгоритмов: 6.2 Математическая индукция