Sujet : Re: The set of necessary FISONs
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 22. Feb 2025, 11:17:39
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vpc885$3t9g8$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
User-Agent : Mozilla Thunderbird
On 21.02.2025 20:40, Jim Burns wrote:
However,
all sets Z which satisfy Infinityᶻᶠᶜ
HAVE A SUBSET which
is usable in a proof.by.inductionᶻᶠᶜ
Zermelo calls that set Z_0 or set of numbers. We can remove all numbers from Z_0 and produce the empty set.
Homework: Show the same for the set of FISONs.
Regards, WM