User blog comment:Vel!/Formal logic challenge/@comment-5150073-20140710082719/@comment-5150073-20140715164136

The term "decidable" is ambiguous: decidablility must be measured by the certain system.