Représentent qu'il y en a infiniment beaucoup dans fol

Question

Comment représenter dans la logique de premier ordre l'expression:

"Il y en a infiniment beaucoup"

Pour être honnête, je suis confus et je ne sais même pas si vous pouvez les représenter dans la logique du premier ordre.