Liste des Groupes | Revenir à s math |
On 8/4/2024 2:13 PM, WM wrote:
More of interest are these two claims which are
not both true or both false:
For every x there is u < x.
There is u < x for every x.
The latter is close to my function:
There are NUF(x) u < x.
From ∀x∃U to ∃U∀x is unreliable,There is no from to. NUF(x) is so defined.
Les messages affichés proviennent d'usenet.