Is mathematics one big tautology?math.stackexchange.com2 points·gjulianm··0 commentsOpen articleSaveView on HN