Wikipedia does not elaborate much on the concept of "One" in such branches as graph theory, ring theory, algebra, topology, measure theory, formal logic, etcetera. How can one grasp the concept of "oneness" in diverse branches of mathematics?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
"One" is typically defined as $S0$ in Peano Arithmetic. $\forall x(Sx=x+S0)$ is a theorem of PA and much weaker theories of arithmetic.
The number $1$ has several unique properties. First, it is the neutral element with respect to multiplication, meaning that $1\cdot x = x$ for all $x$. This property is used in many algebraic structures to define a $1$.
Another unique property among non-negative integers is $1 \mid x$ for all $x$. This is used in order theory and lattice theory: An element is called the $1$-element if it is less or equal than all other elements.