Kararlı bir set kavramında olduğu gibi, bir ya da daha çok teori ya da mantıksal sistemin tanımı, ya etkin yöntemler ya da hesaplanabilir fonksiyonlar açısından verilebilir. Bunlar genellikle Kilise tezi başına eşdeğer kabul edilir. Gerçekten de, mantıksal bir sistemin ya da teorinin kararsız olduğunun kanıtı, uygun bir kümenin bir kararsızlık kümesi olmadığını göstermek için hesaplanabilirliğin resmi tanımını kullanacak ve daha sonra, herhangi bir etkili ya da kuramsal ya da mantıksal sistemin herhangi bir etkili olmamaya çalıştığını göstermesi için Kilise'nin tezini çağrıştıracaktır. yöntem (Enderton 2001, s. 206ff.).
|