The logically simplest form of the infinity axiom

Expression de l'existence d'ensembles infinis dans le langage de la theorie des ensembles du premier ordre ayant la plus faible complexite logique