Mathematics under The Library of Babel