[Mathematics] is an independent world created out of pure intelligence.