• # Sur la Dedekind-finitude

    Posté par (site web personnel, Mastodon) . En réponse à la dépêche Le Frido 2025. Évalué à 6.

    Je demande si il est vrai que tout ensemble Dedekin-fini totalement ordonné a un maximum.

    À mon avis la preuve donnée par Asaf Karagila (et qui a 5 votes positifs) a au moins un trou ; j'explique dans les commentaires ce qui ne me va pas. Si vous avez une idée de comment compléter, n'hésitez pas.

    Je n'ai pas relu la preuve d'Asaf Karagila, mais je viens de poster une nouvelle réponse avec une preuve différente et très détaillée.