<nowiki>ߞߊߒߞߋ ߛߎ߯ߦߊߟߌ; 形式系統; logikai kalkulus; sistema formal; формальная система; Formalsystem; sistem formal; سیستم صوری; 形式系統; Formelt system; sistem axiomatic; 形式体系; formellt system; формальна система; sistem formal; Formala sistemo; Formales System; formaali järjestelmä; Формалды жүйе; formala sistemo; Формален систем; Τυπικό σύστημα; sistema formale; প্রথাগত ব্যবস্থা; système formel; formaalne süsteem; фармальная сыстэма; formal system; sistema formal; מערכת פורמלית; Աքսիոմատիկ մեթոդ; Аксиоматикалык метод; formeel systeem; hệ hình thức; Siostam foirmeil; system formalny; логички систем; dedukciniai samprotavimai; formalni sistem; sistem formal; sistema formal; sistema formal; sistem formal; formelt system; formelt system; Aksiomatika; formální systém; 형식 체계; sistema formal; córas foirmeálta; sistema formal; نظام شكلي; sistema formałe; Формаллĕ тытăм; sistema matematico; 数学のモデルに基づき、明確に定義した抽象的思考のシステム; modélisation mathématique d'un langage; System von Symbolketten und Regeln; çdo sistem i mirëpërcaktuar i mendimit abstrakt bazuar në modelin e matematikës; Lengoaia formal batez (alfabetoa eta formazio-erregelak) eta dedukzio-sistema batez (axiomak eta inferentzia-erregelak) osatutako sistema.; כל מערכת מוגדרת היטב של מחשבה מופשטת המבוססת על מודל המתמטיקה; any well-defined system of abstract thought based on the model of mathematics; формальная теория; дедуктивная система; formális rendszer; formális szabályrendszer; Аксиомалық теорияның толықтығы; formalsystem; logical calculus; formaalsüsteem; loogiline arvutus</nowiki>
formal system
any well-defined system of abstract thought based on the model of mathematics