hat
Rezilta sa a vle di ke genyen kèk pwoblèm nan fanmi niu konsidere a ki endesidab (an reyalite li ta menm posib, nan teyori sinon nan pratik, pou yo ta rive jwenn youn), men se pa rezoud anyen sou kesyon desidabilite nan pwoblèm Sirakiz la an pati [1] .
fra
Ce résultat implique qu'il y a dans la famille considérée des problèmes individuels qui sont indécidables (il est en fait même possible, en théorie sinon en pratique, d'en expliciter un), mais ne résout pas la décidabilité du problème de Syracuse en particulier[8].