goal, subgoals

ウッヒャーー、またしても新用法を発見。

subgoalがsolveすべき対象である命題（＝論理式＝ルール＝定理）で、goalはそれらsubgoal達の集合の意味で使っている。つまり、ゴール＝サブゴールズ。

しかし、サブゴールの結論をゴールと呼ぶことがあるから。「ゴールのサブゴールのゴール」とか言うのか？ ほんとに地獄だなーー！

今回の用法だと、UIのゴールズペインをゴールと呼び、ゴールズペインに表示されている個々の対象物をサブゴールと呼ぶのか。

しかも、ゴールに関して仮定を仮説と呼ぶ、とかの謎の用法もあるし、、、、