06/11/19 20:56:32
>>93
「A*B」ってのは一つの行列ではありますが、
意味的には「行列」Aと「行列」Bを「掛け合わせた」「行列」、という意味で
そもそも一つの言葉じゃないので…
因みにこういう複数（一つ以上）の言葉を組み合わせて作った、
数学的対象を表す文字列のことは 項 term というのが普通かと思います。
日常用語でも「このヒルベルトと言う偉大な数学者」とか
そういう二語以上の文字列を「用語」とは言いませんよね。
たしか言語学でもこういうのは「項」と言ったかと思います。
「A」と「B」は行列を値に取る変数記号というのが正しいかと思います。
無定義術語ではありません。
因みに行列の理論を形式化したい場合には行列は行列は「nm個の数の組」として
定義するのが普通で、そもそも無定義術語という扱いをしないと思います。
>>94さんが既に仰ってますが。
それともう一つ、言うの忘れてたんですが
>>65の無定義「述語」というのは無定義「術語」のtypoです（^_^;)
別に無定義用語でも構わないんですが>>79の用語法と混同するので別の言葉遣いをしました。
それで下の>>65は「未定義用語」がよく言われる「無定義術語」を意味してるのか、
と思ってつけたレスで、単に「定義してない項」「まだ定義してない（あとから定義する）項」
という意味ならば>>65にほぼ同意です。