Represent there are infinitely many in FOL

문제

How to represent in first order logic the expression:

"there are infinitely many"

To be honest I'm confused and not even sure whether you can represent them in first order logic.

올바른 솔루션이 없습니다

라이센스 : CC-BY-SA ~와 함께 속성

제휴하지 않습니다 cs.stackexchange