L'Athor David Berlin
@lathorDavidBerlin
Un système axiomatique établit une relation réverbérante entre ce qu'un mathématicien suppose (les axiomes) et ce qu'il peut en déduire (les théorèmes). Dans le meilleur des cas, la relation est suffisamment claire pour que le mathématicien puisse soumettre son raisonnement à une liste de contrôle informelle, passant d'étape en étape avec la confiance facile que les étapes sont suffisamment petites pour qu'il ne soit pas gêné ni qu'elle ne trébuche .