BSTS / Mantık Terimleri Sözlüğü
biçimsel dizge anlamı İng. formal system, syntactical system, calculus, logistic system, deductive system, axiomatic system Alm. formales System Fr.système formel
(i) bir mantıksal dizge, (ii) özel ilksavlar kümesi, (iii) kanıtsavlar kümesi'nden oluşan dizge. ||Anl. dizimsel dizge, tümdengelimli dizge, ilksavlı dizge. Krş.. mantıksal dizge, kuram, ilksavlı kuram.