formalni jezik, formalizirana teorija, uporabna predvsem v logiki in matematiki. Formalni jezik sestavlja nabor znakov (abeceda), izbrane osnovne formule (aksiomi) in pravila izpeljave. Vsak niz znakov, ki ga lahko izpeljemo iz aksiomov s pravili za izpeljavo, je formula (beseda). Primer: šah lahko predstavimo kot formalni jezik; znaki so polja in figure, aksiom je začetna postavitev, pravila igre pa pravila izpeljave. Tedaj vsaka dopustna postavitev ustreza določeni formuli.
Dostopnost