On 20 Jun., 15:17, William Hughes <wpihug...@hotmail.com> wrote:
> > The paths of the tree are the same as the subsets of P. > > Nope. You have agreed that if infinite paths > actually exist then t is not contained in any element > of P. So you cannot argue "The paths of the tree > are the same as the subsets of P" without assuming ~A.
That is not a matter of A or not A. It is the same as