ფორმალურ ლოგიკაში ფორმალური ენის (სისტემის) ინტუიციურად განსაზღვრული გამოსახულება, რომელიც წარმოადგენს ობიექტის ფორმალურ სახელს ან ფორმის სახელს.
Source: პედაგოგიკურ ტერმინთა განმარტებითი ლექსიკონი /ჯემალ ჯინჯიხაძე;, რედაქტორი თამაზ კარანაძე. თბილისი: უნივერსალი, 2017.