The real real numbers–what are they, really?infinitelymore.xyz2 points·FillMaths··0 commentsOpen articleSaveView on HN