3
votes
4answers
202 views

Proof of Ramsey Theorem with explicit use of AC

What are minimal axiomatic requirements to prove Ramsey Theorem? This one: Let $X$ be some countably infinite set and colour the elements of $X^{(n)}$ (the subsets of $X$ of size $n$) in $c$ ...