"Subtracting" Ordinals - possible?

Subtraction on the right is not always possible (i.e., there exist ordinals $\alpha,\beta$ such that $\alpha\geq\beta$ and that, for no ordinal $\gamma$, we have $\gamma+\beta=\alpha$). An example is when $\alpha=\omega$ and $\beta=1$. The uniqueness doesn't hold either (e.g., $1+\omega=\omega=0+\omega$).

Subtraction on the left is, however, always possible (i.e., for every ordinals $\alpha,\beta$ such that $\alpha\geq\beta$, there exists a unique ordinal $\gamma$ such that $\beta+\gamma=\alpha$). This can be proven by transfinite induction (use Bernard's hint to show the existence of $\gamma$; for the uniqueness part, show by induction on the ordinal $y$ that, if $x,z$ are ordinals such that $x<y$, then $z+x<z+y$, which then implies that ordinal addition is left-cancellative, namely, for an ordinal $\gamma'$, if $\beta+\gamma=\beta+\gamma'$, then $\gamma=\gamma'$).

A left subtraction is always possible: let $\gamma$ be the unique ordinal isomorphic to the well-ordered set $$\bigl\{\xi\mid \alpha\le\xi<\beta\bigr\}.$$ One can show $\,\alpha+\gamma=\beta$.