The second situation from the definition alone refers to purely natural numbers, and therefore requires self-reference. While this type of definition involves a type of circularity, It's not vicious, plus the definition has actually been pretty productive.A single could possibly say: a proof serves to remove or to avert a misunderstanding – just