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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.