Title: La quantification dans la logique moderne