Talk:König's Tree Lemma

The following statement is superfluous and should be removed. --Ilan 05:03, 23 April 2012 (EDT)


 * Each $t_n$ has infinitely many descendants.


 * I disagree. You need to suppose that $t_n$ has infinitely many descendants in order for the induction to work.
 * If there is a different proof which does not require this hypothesis, then that is a different proof and needs to be entered as such.
 * On the other hand, if you can see this proof working without that hypothesis, feel free to amend it accordingly. --prime mover 08:15, 23 April 2012 (EDT)