定義 の配列 変数の場合は自然数（すなわち、機能の天引きます。
メンバー(要素)の配列
場合に項目をリアル番号、その後の配列と呼ばれ る数値
例
配列のもの自然数
列の整数型の負の数
—のシーケンス番号、逆に自然
—数値配列
配列のもの自然数
列の整数型の負の数
—のシーケンス番号、逆に自然
—数値配列昇順や降順の配列
定義: a列が 増えればその後の期間以上前: 
(最初のシーケンスの例です。
定義: シーケンスと呼ばれ 減少した場合 
の方法の数学的誘導
使用を証明する主張 
、またはシーケンスの表現に依存している自然数の言語る明示的又は黙示的に含むのための自然 
"
スキームの証明書の請求の手法を用いた数学的誘導
- チェックかということの声が
あ開始 
) - と指定された声明のために保有する
第二のオプション— 
) - 持参に基づく前提で、その主張と
- ここでの自然数
(任意 
)
あ開始 
)
第二のオプション— 
)
)
例です。
を証明する: 
Rozwiazaniaます。 記録の利便性を示 
- 時 の妥当性方程式
- この平等が正しい場合は
、 
- その平等が発生しや ることを証明する
この
取得しています 
- 従って、指定された男女平等を是正のための自然
、 
取得しています 