Mathematical multiverse hypothesis