Revisão das 12h39min de 23 de janeiro de 2013 editar MerlIwBot (discussão \| contribs) Robôs 358 345 edições m Robô: A adicionar: he:פורמליזם (מתמטיקה) ← Ver a alteração anterior		Revisão das 12h39min de 25 de março de 2013 editar desfazer KLBot2 (discussão \| contribs) Robôs 356 018 edições m Bot: A migrar 23 interwikis, agora providenciados por Wikidata em d:Q649732 Ver a alteração posterior →
Linha 88: {{DEFAULTSORT:Sistema Formal}} [[Categoria:Lógica matemática]] ~~[[ar:نظام شكلي]]~~ ~~[[ca:Sistema formal]]~~ ~~[[de:Formales System]]~~ ~~[[en:Formal system]]~~ ~~[[es:Sistema formal]]~~ ~~[[fa:سیستم صوری]]~~ ~~[[fr:Système formel]]~~ ~~[[gd:Siostam foirmeil]]~~ ~~[[he:פורמליזם (מתמטיקה)]]~~ ~~[[hu:Logikai kalkulus]]~~ ~~[[it:Sistema formale]]~~ ~~[[ja:形式体系]]~~ ~~[[ky:Аксиоматикалык метод]]~~ ~~[[mk:Формален систем]]~~ ~~[[nl:Formeel systeem]]~~ ~~[[pl:System formalny]]~~ ~~[[ro:Sistem axiomatic]]~~ ~~[[ru:Формальная система]]~~ ~~[[sq:Sistemi formal]]~~ ~~[[sr:Логички систем]]~~ ~~[[sv:Formellt system]]~~ ~~[[uk:Формальна система]]~~ ~~[[zh:形式系統]]~~

Sistema formal: diferenças entre revisões