I think a lot of circularity occurs in mathematics because we don't typically qualify our utterances when it can be implicitly understood.
Eg "Numbers (formal) are those objects which behave like numbers (informal)."
Eg "Numbers (formal) are those objects which behave like numbers (informal)."