Sujet : Re: quantifier shift
De : noreply (at) *nospam* example.org (joes)
Groupes : sci.mathDate : 05. Oct 2024, 14:00:22
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <537433b06406ac70ab7d05130ee8aee0206b0a68@i2pn2.org>
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 25
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Sat, 05 Oct 2024 11:43:50 +0200 schrieb WM:
On 05.10.2024 10:46, Moebius wrote:
a quantifier shift is NOT reliable und wird daher in der Mathematik
tunlichst vermieden (und nicht nur dort).
I many cases it is correct. For instance if every definable natural
number has ℵo natural successors, then there are ℵo natural numbers
larger than all definable natural numbers. They are dark however and
cannot be specified.
Since it is logically invalid, you need to prove your deduction
independently. In general those are two different propositions.
-- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:It is not guaranteed that n+1 exists for every n.