decidable set ne demek?

decidable sentence

1. Belirlenir önerme

decidable formal system

1. Saptanır biçimsel dizge

set

1. (Mimarlık) Çevresi duvarlı, üstü düz, yerden yüksek yer. a. bk. balkon.
2. Toprağın kaymasını veya suyun akmasını önlemek için yapılan kalın duvar.
3. Bulunulan yerden daha yüksekte kalan düzlük.
4. Kurmak
5. Takım
6. Belirlenmiş.
7. Koymak; yerleştirmek, takmak, hazırlamak; düzenlemek; ayarlamak, belirlemek; batmak (güneş), batmak; yapmak; kararlaştırmak; dizmek; dikmek, ekmek; şekil vermek; kuluçkaya yatırmak; kakma işi yapmak (taş); süslemek; yazmak, çizmek
8. Oturtmak.
9. Tiyatro dekor, stüdyo düzlüğü
10. Ateşli silahlarda namlunun içindeki helisin çıkıntı bölümü.