You mean it's interesting how irregular natural languages are, but those are the ones we use instead of well-defined ones? Yeah, I guess it is interesting. But then again, nature comes before science, right? (Well, not if you asked a string theorist.) We're trying to impose logical systems where they do not exist, like reliable computers built on top of unreliable transistors (or relays, or vacuum tubes, for that matter). Heck, we even mix countable and uncountable, continuity and discreteness. We count two rocks and therefore we think we can have exactly two meters of something.

Why can't we just be well-defined formal systems? :/