Recursive Functions and Metamathematics: Problems Of Completeness And Decidability, Gödel's Theorems