The Concept of Relationship among Logic and Number Theory: Issues and Challenges | Original Article
In a prior period the applicable logical segment was recursion theory (decidability and undecidability).