Rappresenti ce ne sono infinitamente molti in fol

Domanda

Come rappresentare nella logica del primo ordine l'espressione:

"Ce ne sono infinitamente molti"

Ad essere sincero, sono confuso e non sono nemmeno sicuro se puoi rappresentarli nella logica del primo ordine.

Nessuna soluzione corretta

Autorizzato sotto: CC-BY-SA insieme a attribuzione