Une définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie. Se pose la question de la différence entre une définition et un axiome. Pour exemple, dans l'arithmétique de Peano, l'addition et la multiplication sont des symboles du langage et leur fonctionnement est régi par des axiomes. Mais on pourrait tout à fait réduire le langage de l’arithmétique en supprimant les symboles « + » et « * » et les définir à partir de 0 et de la fonction successeur d'une manière similaire. Cela nous donnerait une autre théorie arithmétique, mais essentiellement équivalente sur toutes ses propriétés élémentaires. Une définition est une formule qui indique la signification d'un terme. Une définition pose une équivalence entre un terme (signifiant) et un sens (signifié). Elle autorise à remplacer le second par le premier et revêt ainsi une utilité pratique. Elle est également le résultat d'une opération et introduit donc le temps (le sens défini est fini, passé, en-soi), ainsi qu'un acteur (souvent implicite). La définition s'inscrit dans l'ordre de la dénotation, mais un terme connote également des sens, et ce sans faire explicitement appel au temps ou à un acteur. Il le fait grâce à une structure externe de l'espace des signifiants, mais il existe également une structure interne qui s'exprime à travers l'étymologie. Le concept de définition ne s’impose pas de lui-même, c'est un outil utile, mais pas indifférent : il s'inscrit dans une totalité structurée.