This is different from decidability because in a semidecidable system there may be no effective procedure for checking that a formula is not a theorem.
Ово се разликује од одлучивости, јер за полуодлучив систем не мора да постоји ефективна процедура која проверава да ли формула није теорема.