• [^] # Re: Sur la Dedekind-finitude

    Posté par (site web personnel) . En réponse à la dépêche Le Frido 2025. Évalué à 4. Dernière modification le 24 septembre 2025 à 22:35.

    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.

    En première lecture (17 pages A5 à la main, mais j'écris grand) ça me semble très correct.
    merci !