> there are uncountably many finite collections of symbols Only if there are unc...

		lisper on Jan 23, 2023 \| parent \| context \| favorite \| on: An intutive counterexample to the axiom of choice > there are uncountably many finite collections of symbols Only if there are uncountably many symbols. But this is a fair point. I'll need to define what I mean by "symbol" more clearly.