formalióji sistemà, neinterpretuotas skaičiavimas, kurio išraiškų (formulių) klasė paprastai pateikiama induktyviai, nurodant elementų abėcėlę ir išraiškų iš jo vienetų sudarymo taisykles, o įrodomųjų išraiškų (teoremų) poklasis – nurodant aksiomų sistemas bei taisykles teoremoms išvesti iš aksiomų ir jau įrodytų teoremų. Formaliosios sistemos yra formalioji matematika, formalioji kalba, formalizuotoji kalba, formalioji logika, aksiominė sistema, sintaksinė sistema, dedukcinė sistema ir kita.
314