スティーヴン・コール・クリーネは弱ケーニヒの補題の計算可能バージョンが成立しないことを証明した(kleene 1952)。