Number Systemshard
0:00.0

Is the set of irrational numbers closed under addition?