4.10　新しい変数の導入(Set,reconsider)

　新しい変数を導入する場合，

　　　　　　　　　set r1 =　r　+　2;

　のように書きます．これによって新しい変数 r1 を (r + 2) として導入できます．その型 (type) は r が実数型であれば，実数型になります.以後の文のプロックにおいて，変数 r1 を自由に使うことができます (end 文によってそのブロックを抜けると r1 は無効になります)．型の異なる新しい変数を導入したい時は，reconsider 文を使います．

　　　　　　reconsider n1 = r + 2　as Nat by A2;

　のように書きます．この場合 r + 2 が自然数 (Natural Number) 型となる理由付けが必要になります．そのブロックの中でだけ有効であることは Set 文と同様です．

　　　　　　reconsider n1 =　r　+　2, n2　=　r　+　3　as Nat;

のように2つ以上の変数を同時に導入することもできます．