König's Lemma

Definition

A tree that is finitely branching but infinite must have an infinite branch.

References:

Backlinks: