Mark Balaguer - Is Mathematics Eternal?