%0 Journal Article %A Kleene, Stephen C. %D 1978 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 3 %P 613 %T An addendum to the work of Kurt gödel %V 43