The prospects for mathematical logic in the twenty-first century