AQT (mathématiques)

AQT (sigle pour « Âne Qui Trotte ») est une expression issue du jargon du groupe de mathématiciens français Nicolas Bourbaki. Elle désigne une démonstration mathématique considérée comme évidente ou découlant des définitions, si bien qu'elle ne nécessite aucun…