Recursive functions and metamathematics problems of completeness and decidability godels theorems problems of completeness and decidability godels theorems synthese library band 286