ispatlanabilir
Ispatlanabilir, Türkçede bir sıfattır ve “kanıtlanabilir” anlamına gelir. Bir önermenin, hipotezin veya ifadenin, mantıksal çıkarsama veya gösterim yoluyla doğru olduğu gösterilebiliyorsa ispatlanabilir olduğu söylenir. Matematik ve biçimsel mantık bağlamında ispatlanabilirlik, geçerli bir ispatın varlığını ifade eder. Daha genel kullanımlarda ise bir iddianın yeterli kanıt veya akıl yürütmesiyle desteklenebileceğini belirtir.
Köken olarak ispat kelimesi “kanıt, delil” anlamındadır; “-lanabilir” eki ise bir şeyin yapılabilirliğini belirten pasif yapıyı
Kullanım notları: Matematik veya mantıkta bir ifade ispatlanabilir ise, bu ifade için geçerli bir ispat bulunduğu