In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> And the foundation of matheology is that such a node-complete tree > exists since the actually infinite set of all finite decimal > expansions exist, namely the set of all rationals that end in a > decimal period 000...
It is WM who claims that such a tree with a path for each rational must exist, even though it requires the actualness of an infinity, which WM claims does not exist..
Standard mathematics only says what must follow IF it exists. --