The study presents systematically the formals and theoretical foundations of incompleteness theorem: framework, hypothesis, rules of provability. The recursive functions constitute the operational foundations in the development, the construction and the prove of this theorem. The preparatory theorems and the sense theorem are the socle which establishes the incompleteness.
Show abstract
Full Text
