ThmDex – An index of mathematical definitions, results, and conjectures.
F9309
Formulation 0
Let $X = \{ 0, 1 \}^{\mathbb{N}}$ be the D12: Set of boolean standard sequences.
Then $X$ is an D1195: Uncountable set.