"nauki dedukcyjne, oparte na abstrakcji zamiast empirii"@pl
"rama de la ciencia que estudia los sistemas formales"@es
"samling av vetenskaper som behandlar formella system"@sv
"sich mit formalen Systemen befassende Disziplin, z. B. Logik, Mathematik oder Spieltheorie"@de
"sklop disciplin, ki se ukvarjajo s formalnimi sistemi, kot so logika, matematika in teorija iger"@sl
"videnskabelige discipliner så som matematik, logik, spilteori"@da
"věda studující abstraktní struktury popsané formálními systémy"@cs
"wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, theoretische informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek"@nl
"πεδίο μελέτης που ασχολείται με θετικά συστήματα, όπως η λογική, τα μαθηματικά και η θεωρία παιγνίων"@el
"точные науки с формализацией рассуждений"@ru
"מערכת של דיסציפלינות העוסקות במערכות פורמליות, כגון לוגיקה, מתמטיקה ותורת המשחקים"@he
"مجموعة من التخصصات المعنية بالأنظمة الصورية، مثل المنطق والرياضيات ونظرية الألعاب"@ar