Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the …
