Category:Formal systems

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
ߞߊߒߞߋ ߛߎ߯ߦߊߟߌ (nqo); 形式系統 (yue); Logikai kalkulus (hu); sistema formal (eu); формальная система (ru); formales System (de); córas foirmeálta (ga); سیستم صوری (fa); 形式系統 (zh); Formelt system (da); sistem axiomatic (ro); 形式体系 (ja); formellt system (sv); формальна система (uk); Formales System (gsw); formaali järjestelmä (fi); Формалды жүйе (kk); formala sistemo (eo); Формален систем (mk); sistema formale (it); système formel (fr); Формаллĕ тытăм (cv); sistem formal (ms); Sistemi formal (sq); Hệ hình thức (vi); formal system (en); sistema formal (pt); sistema formal (ca); פורמליזם (he); Աքսիոմատիկ մեթոդ (hy); логички систем (sr); Аксиоматикалык метод (ky); system formalny (pl); sistema formal (pt-br); Siostam foirmeil (gd); sistem formal (id); formelt system (nn); formelt system (nb); formeel systeem (nl); sistem formal (lfn); sistema formal (es); фармальная сыстэма (be-tarask); formální systém (cs); sistema formal (gl); نظام شكلي (ar); Τυπικό σύστημα (el); 형식 체계 (ko) any well-defined system of abstract thought based on the model of mathematics (en); Lengoaia formal batez (alfabetoa eta formazio-erregelak) eta dedukzio-sistema batez (axiomak eta inferentzia-erregelak) osatutako sistema. (eu) формальная теория, дедуктивная система (ru); formalsystem (nn); Аксиомалық теорияның толықтығы (kk); logical calculus (en)
formal system 
any well-defined system of abstract thought based on the model of mathematics
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Instance oftype of system
Subclass ofsystem,
artificial entity
Different from
  • axiomatic system
Authority control
Edit infobox data on Wikidata

Subcategories

This category has the following 2 subcategories, out of 2 total.

L