Wilfrid Hodges is Emeritus Professor of Mathematics at Queen Mary, University of London, UK.