# What notions are used but not clearly defined in modern mathematics?

"Everyone knows what a curve is, until he has studied enough mathematics to become confused through the countless number of possible exceptions."

Felix Klein

What notions are used but not clearly defined in modern mathematics?

To clarify further what is the purpose of the question following is another quote by M. Emerton:

"It is worth drawing out the idea that even in contemporary mathematics there are notions which (so far) escape rigorous definition, but which nevertheless have substantial mathematical content, and allow people to make computations and draw conclusions that are otherwise out of reach."

The question is about examples for such notions.

The question was asked by Kakaz

-
In mathematics, by mathematicians. Everything is clear? I suppose mathematics is still live nowadays... – kakaz Feb 25 '11 at 21:08
"Everything is well defined in modern mathematics" - We really don´t know that for sure yet (i.e. consistency of ZFC)... "Mathematics is more about correctness than about truth." -I would argue that it is more about the relative truth. Being about correctness is contains too much of a self-purpose... – efq Feb 26 '11 at 1:55
This question has a meta thread: tea.mathoverflow.net/discussion/968/… – JBL Feb 26 '11 at 1:57
@Qiaochu - I understand Your position, but I think nobody have to fear vagueness in such situation. It is just another soft-question on math-overflow. It is some fun. I know that You are professionals but I am an amateur. I would like to play with mathematics. Usually it is worth of mention what do we use without proper definition, fighting between intuition and complicated formalism, and possibly why. I do not understand why question which is obviously interesting and have potential to broaden horizons for many people is so controversial. – kakaz Feb 27 '11 at 19:05
Closing this thread seems more like punishing someone for being an amateur rather than enhancing the quality of the site. Now and throughout history, I believe, a large percentage of the most interesting mathematics revolves precisely around those notions that are used but not (yet) clearly defined. A big list of such subjects seems extremely valuable to me. Vote to reopen. – Louigi Addario-Berry Mar 1 '11 at 16:01

Perhaps this answer is being voted down because $\aleph_0$ is a cardinal number, which is a well-defined notion. But the issue of which algebraic objects constitute "number systems" is kinda fuzzy, yes. – Mark Grant Feb 26 '11 at 7:40
How about the natural numbers $\mathbf N$ and the real numbers $\mathbf R$? If they were both clearly defined, then (for example) mathematicians would agree that the continuum hypothesis has a truth value, even if that value is not known. But there's not such agreement, and some will dispute that CH even has a meaning, much less a truth value. Even keeping it just to $\mathbf N$, all "definitions" that I know of are circular (e.g. the Peano axioms in second order logic just kick the unclarity up to the level of the predicates that the induction axiom quantifies over). The Hilbert $\omega$-rule is similarly self-referential. Yet we (mostly) agree that all arithmetic formulas (even, say, $\Pi^0_{100}$ formulas) do have truth values, that there's a (not effectively describable) first-order theory of "true arithmetic", etc. It just comes back to "the naturals, I mean the ordinary naturals, you know, 0, 1, 2, 3..." which comes across as a little bit faith-based ;-).