@Qaspard Delanuit
tu as combien d’axiomes toi ? 1+1=2, 1+2=3, etc ?
ça fait une chiée d’axiomes non ?
si si, je te rassures, ça se démontre, à partir d’axiomes moins nombreux.