Liste des Groupes | Revenir à s math |
On 07.01.2025 02:36, Ross Finlayson wrote:Which axiom?On 01/06/2025 02:43 PM, Jim Burns wrote:>>It would be great if you (WM) did NOT
find lemma 1 weird,
but it is what it is.
It is not weird. But your conclusions are weird.
>The inductive set being covered by>
initial segments is an _axiom_ of ZF.
And the existence of the set ℕ is also an axiom of ZF.
Les messages affichés proviennent d'usenet.