Theorem 1.1
(Ramsey’s Theorem for pairs)
.
Assuming that:
ℕ
(
2
)
are 2-coloured (i.e.
c
:
ℕ
(
2
)
→
{
1
,
2
}
).
Then
there exists
M
infinite monochromatic.