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