What are the real numbers, really? (And what should they be?)infinitelymore.xyz1 point·FillMaths··0 commentsOpen articleSaveView on HN