Assuming the axiom of choice I can write for any cardinal number $\kappa$ and any simple graph $G$ that a function $f$ is a $\kappa\text{-coloring}$ of $G$ if and only if the cardinality of the image of $f$ is equal to $\kappa$ and that:
$$\forall u,v\in V(G)\left[\{u,v\}\in E(G)\implies f(u)\neq f(v)\right]$$
Now letting $f=\text{id}_{V(G)}$ one sees every simple graph $G$ has a $|V(G)|\text{-coloring}$. Which proves there exists a cardinal number capable of coloring any simple graph, now by the axiom of choice I know that the cardinals are well ordered which means that there must exist a smallest such cardinal that colors any simple graph, thus one can always unambiguously define the chromatic number of a simple graph as the smallest cardinal number which colors it but only if we assume the axiom of choice. So I'm curious if the seemingly stronger converse of this proposition holds, or if not then what can be said on the manner and would really appreciate any references or relevant comments.
