Represent there are infinitely many in FOL
-
05-11-2019 - |
Вопрос
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.
Нет правильного решения
Не связан с cs.stackexchange