[cryptica]

It's not about 'informal definitions'. I also really like informal definitions but not the way that most mathematicians currently tend to write them.

[omaranto]

Wait, are you complaining about how mathematicians currently tend to write informal descriptions of concepts or about the informal descriptions in the intros to Wikipedia articles? I think those things are pretty different.