How do we know TREE(3) is finite?

No.12201250 ViewReplyOriginalReport
Can't you just keeping making new branches forever? Sounds like a load of malarkey to me. Every one says the same thing "hurr durr Kruskal's tree theorem, hurr durr Nash-Williams!" but nobody can just tell me why it's finite.