>>268
よく考えたら(x^n_m)を二重列として扱うのはダメだから二重列の表記は不適切だ
二重列として扱うためには二重列を帰納的に定義する必要が出てきて循環論法になってしまう
飽くまでも「各nに対して有限列が一意的に存在する」という形で述べる必要がある