Is Mathematics one big tautology?math.stackexchange.com1 point·gbog··1 commentOpen articleSaveView on HN