Definition talk:Rooted Tree

Do we really want to enforce countability? Intuitively, $\N^\N$, the set of all sequences of natural numbers, can be represented as a rooted tree as well (though every node has countably many direct descendants, but that shouldn't be a problem). --Lord_Farin 06:37, 5 June 2012 (EDT)
 * The source work I was using defined it as having a "finite or countable" set of nodes. Maybe they deliberately restricted the concept for their own purposes, that of providing a proof model for zeroth order logic. Shrug. --prime mover 09:33, 5 June 2012 (EDT)