saptanır biçimsel dizge anlamı İng. decidable formal system Alm. entsheidbares formales System Fr. sytème formel décidable
Kanıtsavları saptanır bir küme oluşturan biçimsel dizge.