> > Please answer this question (the best way for our readers to > > understand the difference between pot. and act. infinity): > > What is the difference between the Binary Tree that constains only all > > finite paths and the Binary Tree that contains in addition all > > actually infinite paths? > > The first does not exist.
Another interesting opinion. But why does it not exist? Is a finite path not well enough defined? It is a path that has a natural number of nodes. (Of course you may require to define a natural number, because you don't know it. But please inform yourself elsewhere.)