"Teilgebiet der mathematischen Logik: Familie logischer Systeme"@de
"biçimsel mantık sistemleri ailesi"@tr
"collection of formal systems used in mathematics, philosophy, linguistics, and computer science."@en
"koleksi sistem formal yang digunakan dalam bidang matematika, linguistik dan ilmu komputer"@id
"méthode formelle, utilise des variables sur des objets non logiques et permet l'usage de phrases qui contiennent des variables; seules les variables sont quantifiées"@fr
"sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden"@es
"sistema formale usato in matematica, filosofia, linguistica e informatica"@it
"sistema lógico que estende a lógica proposicional"@pt
"system logiczny"@pl
"در منطق مرتبه اول جملاتی وجود دارد که از «متغیرهای سور داده شده» روی اشیای غیر منطقی استفاده میکند."@fa