Represent there are infinitely many in FOL
-
05-11-2019 - |
Frage
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.
Keine korrekte Lösung
Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit cs.stackexchange