Defining definable real numbers is hard (maybe every real number is definable)shuangrimu.com1 point·dwohnitmok··0 commentsOpen articleSaveView on HN