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
scroll top