Liste des Groupes | Revenir à s logic |
On 2025-05-29 14:52:45 +0000, WM said:Proof that every definable natural number has more successors than predecessors.
On 29.05.2025 12:22, Mikko wrote:Still no proof.On 2025-05-27 15:24:50 +0000, WM said:>>{1} has infinitely many (ℵo) successors. If you don't understand, please ask.>
>
For every number n that can be represented in decimals:
If {1, 2, 3, ..., n} has infinitely many (ℵo) successors, then {1, 2, 3, ..., n, n+1} has infinitely many (ℵo) successors. If you don't understand, please ask.
The indication that a sentence is a premise is still absent.
This is {1} has infinitely many (ℵo) successors.
>The indication that and how a sentence is a conseqence of earler sentences>
is still absent.
{1, 2, 3, ..., n, n+1} has infinitely many (ℵo) successors is a consequence of {1, 2, 3, ..., n} has infinitely many (ℵo) successors, and ℵo - 1 = ℵo.
Les messages affichés proviennent d'usenet.