>>273
レッテル貼りの詭弁

>>272
共通認識というか定理だろう

将棋のルールは駒の配置と手番とそれらの履歴とで
記述されているわけだから、当然「区別ありの表」は
作れるわけだよ

そこから「履歴」を消してもWell-Definedになる、
というのは自明なことではないと思うよ