On 19 Jun., 21:16, William Hughes <wpihug...@hotmail.com> wrote:
> > Wrong. ~B is proven by the impossibility to distinguish t from every > > path of the binary tree > > Nope. You just said that if actual infinity exists, it is possible to > distinguish t from every path of the binary tree. Hence you cannot > prove ~B without assuming ~A.
I prove ~B, for instance by your inability to distinguish t from T, with no regard to the truth of A.