lS. Simpson and his
collaborators have shown that WKL is enough to prove many
mathematical theorems, although WKL is very weak from consistency point of
view.

lWeak König
Lemma (WKL): any binary branching tree with infinite nodes has an
infinite path