Definable Real Number

(en.wikipedia.org)

4 points | by nill0 2 days ago ago