>>281
言語要素といっしょくたにする意味がわからん。
名前空間のどこかにある名前とかぶってはイカンとか現実的じゃないし。

>>282
それは「プログラミングの世界」じゃなくて、数理論理学や一階述語論理における用法。

>>283
じゃあ「述語」に相当する英語は？