dokazatelnost

dokazatelnost, vlastnost soudu, která umožňuje v rámci dané teorie T pomocí log. správného odvozování rozhodnout o tom, zda soud nutně v teorii T platí. V.t. rozhodnutelnost.