Abstract
By formulating a property on a class of relations on the set of natural numbers, we make an attempt to provide an alternative proof to the insolvability of Hilbert's tenth problem, Godel's incompleteness theorem, Tarski's definability theorem and Turing's halting problem.