Text this: Les fondements logiques des mathematiques.