2 ms·

> How many real numbers are there? 2^ℵ₀ Which I just managed to encode using a finite number of symbols :)