Completeness Criterion (Metric Spaces)/Proof 1
Theorem
Let $M = \left({S, d}\right)$ be a metric space.
Let $A \subseteq S$ be a dense subset.
Suppose that every Cauchy sequence in $A$ converges in $M$.
Then $M$ is complete.
Proof
Let $\left\langle{x_n}\right\rangle_{n \mathop \in \N}$ be a Cauchy sequence in $S$.
For each $n$ pick a Cauchy sequence $\left\langle{y_{n, m}}\right\rangle_{m \mathop \in \N}$ in $A$ converging to $x_n$ like so:
Let $N \in \N$ be such that $d \left({x_{n_1}, x_{n_2}}\right) < \epsilon / 3$ for all $n_1, n_2 > N$.
Let $M \in \N$ be such that $d \left({y_{n_i, m}, x_{n_i}}\right) < \epsilon / 3$ for all $m > M$ and all $n_1, n_2 > N$.
Let $m > M$.
Let $n_1, n_2 > N$.
We have:
\(\displaystyle d \left({y_{n_1, m}, y_{n_2, m} }\right)\) | \(\le\) | \(\displaystyle d \left({y_{n_1, m}, x_{n_1} }\right) + d \left({x_{n_1}, x_{n_2} }\right) + d \left({x_{n_2}, y_{n_2, m} }\right)\) | $\quad$ two applications of the Triangle Inequality | $\quad$ | |||||||||
\(\displaystyle \) | \(<\) | \(\displaystyle \epsilon\) | $\quad$ | $\quad$ |
Therefore $\left\langle{y_{m, n}}\right\rangle_{n \in \N}$ is Cauchy in $A$ for $m > M$.
So $\left\langle{y_{m, n}}\right\rangle_{n \mathop \in \N}$ converges to some limit $y_n \in S$.
Axiom of Countable Choice
This theorem depends on the Axiom of Countable Choice.
Although not as strong as the Axiom of Choice, the Axiom of Countable Choice is similarly independent of the Zermelo-Fraenkel axioms.
As such, mathematicians are generally convinced of its truth and believe that it should be generally accepted.