NKの本質はその帰納的定義にあるのだ。
証明図全体の集合が集合論的に一致するからと言って異なる帰納的定義を持って来ても駄目なのだ。