temel mantıklı biçimsel dil anlamı İng. elementary language
Mantıksal değişmezleri eklemler, niceleyiciler ile eşitlik; mantıksal olmayan değişmez türleri ad, yüklem, işlev, değişkenleri de bireysel değişken olan biçimsel dil.