Liste des Groupes | Revenir à s logic |
On 2025-06-20 12:40:41 +0000, WM said:Consider only what has been removed. If all have been be removed, then a last one has been removed.
On 20.06.2025 11:00, Mikko wrote:True. But only those are removed that were there. What never was thereOn 2025-06-19 14:13:49 +0000, WM said:>>But removing all in their natural or any given order (that does not allow two or more to take the same place) implies a last removed one.>
No, it does not. That implication is not acceptable without a proof.
Removing all means that none remains.
is not removed, and the last natural number was not.
Les messages affichés proviennent d'usenet.