索引に用語を追加

索引に実行列の用語のいくつかを追加。

New Release! アルキメデスの原理を拡充。

アルキメデスの原理を拡充。
「上に有界ではない」の定義を付加。