d'exercices et problèmes d'évaluation de l'INSA. Les énoncés sont suivis de fac-
similé ..... d'énoncer et de démontrer les propositions mathématiques en utilisant
un minimum de signes compatibles ...... ii) Frege, en 1893, avait proposé comme
axiome le suivant : ? étant un prédicat quel- conque, il existe un ensemble A tel ... 
