Defining definable real numbers is hard (maybe every real number is definable)https://shuangrimu.com/posts/definable-real-numbers-are-hard.html by dwohnitmok • 6 years ago 1 0 6 years agoSHshuangrimu.com