From Newsgroup: sci.math
Am 29.04.2026 um 15:19 schrieb wm:
The Binary Tree has countably many nodes and, according to Cantor, uncountably many paths.
But the basic element of the Binary Tree is the node
-a|
-ao
/ \
which splits an incoming sheave of paths into two sheaves of paths,
i.e., it makes one more sheaf distinguishable from the already separated sheaves.
Therefore only countably many sheaves of paths (inclusing those carrying only one path) can get separated.
Regards WM
No attempt to save set theory.
Regards, WM
--- Synchronet 3.21f-Linux NewsLink 1.2