Kőnig's lemma
= Kőnig's lemma
{c}
{wiki}
= König infinity lemma
{c}
{synonym}
Every infinite finitely branching rooted tree has an infinite branch. Starting at the root, repeatedly choose a child above which infinitely many vertices remain.
= Kőnig's lemma
{c}
{wiki}
= König infinity lemma
{c}
{synonym}
Every infinite finitely branching rooted tree has an infinite branch. Starting at the root, repeatedly choose a child above which infinitely many vertices remain.