En linguistique et en philosophie, une assertion représente un énoncé considéré ou présenté comme vrai. En logique et en mathématiques, une assertion est une proposition mathématique vraie. Cette proposition vraie s'inscrit dans le cadre d'une théorie précisée. Cette même proposition peut d'ailleurs être fausse au sein d'une autre théorie (voir exemples ci-dessous).