[chobytes]

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)."

[dboreham]

Bertrand Russell turns over in grave.