Liste des Groupes | Revenir à s logic |
On 2025-05-26 13:44:06 +0000, WM said:A proof as simple as this one should be understood as it stands. You only try to suppress it.
{1} has infinitely many (ℵo) successors.No. A proof should start with a clear presentation of the premises.
If {1, 2, 3, ..., n} has infinitely many (ℵo) successors, then {1, 2, 3, ..., n, n+1} has infinitely many (ℵo) successors. For every n that can be defined.
>
Do you accept this proof?
Then a sequence of sentences should follow, each with an indication{1} has infinitely many (ℵo) successors. If you don't understand, please ask.
of how they follow from the previous sentence, and which earlier
sentences of the proof are also needed for the inference.
Les messages affichés proviennent d'usenet.