2 ms·Defining definable real numbers is hard (maybe every real number is definable)1 points by dwohnitmok 7y ago