At any rate, whatever key terms that we use in our hypothesis must be precise, unambiguous, non circular, non-contradictory and used consistently throughout our presentation.

I'm personally okay with circular definition when used appropriately. For instance, there's the Haskell definition

naturalNumbers = 1 : (map (+ 1) naturalNumbers)

which tells you how to build the natural numbers in terms of the natural numbers.