IF~THENでラベル文字列が使えないのはGOTOを省略した 場合です。IF~THEN GOTO ラベル文字列は問題無く 使用できます。 ON~GOTO(GOSUB)でラベル文字列が使えないのは ラベル文字列で変数を使用すれば飛び先を変更できるのに わざわざ変数の値で飛び先を複数指定するのは内部的な 処理が煩雑になるため非対応としていると考えられます。 元々ON~系の命令はGOTOやGOSUBの飛び先が変数を指定 できない仕様のBASICでIF文を羅列せずに記述するための 命令でした。