Liste des Groupes | Revenir à s logic |
On 8/1/2024 8:02 AM, WM wrote:Yes, I already told him that in dsm, but to no avail.Le 31/07/2024 à 18:20, joes a écrit :Am Wed, 31 Jul 2024 14:27:06 +0000 schrieb WM:Le 31/07/2024 à 03:28, Richard Damon a écrit :On 7/30/24 1:37 PM, WM wrote:No, it literally contradicts your formula>>>∀n ∈ ℕ: 1/n - 1/(n+1) > 0.>
Note the universal quantifier.
Right, so we can say that ∀n ∈ ℕ: 1/n > 1/(n+1),
so that for every unit fraction 1/n, there exists
another unit fraction smaller than itself.
No. My formula says ∀n ∈ ℕ.
That is not a contradiction.
It is not a contradiction to my formula
if some n has no n+1.
for some n e N to not.have n+1
Your formula uses 'n+1'
Along with saying other things,
using 'n+1' asserts*) that 'n+1' exists [for all] n ∈ ℕ
That assertion is so often uncontroversial
that it's easy to overlook.
Nonetheless, it is there.
Les messages affichés proviennent d'usenet.