The existence of Aronszajn trees (=\aleph 1-Aronszajn trees) was proven by Nachman Aronszajn, and implies that the analogue of König's lemma does not hold for uncountable trees.
Nachman Shai | Nachman of Breslov | Nachman Ben-Yehuda | Nachman Aronszajn |