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