Sujet : Re: V
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.mathDate : 02. Jun 2024, 04:42:00
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3gpm8$36par$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
Am 24.03.2024 um 21:00 schrieb WM:
Does ℕ = {1, 2, 3, ...} contain all natural numbers such that none cn be added?
Yes, Mückenheim.
Proof:
Def.: n is a /natural number/ iff n e IN.
Hence for any n: If n is a natural number it's in IN. With other words, all natural numbers are in IN. (Hence no natural number "can be added", since _all_ natural numbers are already in IN.) qed