title: Coin de Quine
text: # Coin de Quine
  
  Les coins de Quine sont des signes de ponctuation utilisés en logique mathématique. Les coins de Quine nord-ouest et nord-est ‹ ⌜ ⌝ › sont utilisés pour les quasi-citations ou citations de Quine, et pour noter la numérotation de Gödel d’une expression.
  
  ## Utilisation
  
  En logique mathématique, les coins de Quine sont utilisés de la façon suivante : l’expression $\ulcorner (\zeta \subset \eta )\urcorner$ désigne une expression combinant les termes $\zeta$ et $\eta$, peu importe ce qu’ils soient, par un signe d’inclusion entre parenthèses. Si $\zeta$ et $\eta$ sont respectivement « $x\prime \prime \prime$ » et « $y\prime \prime \ni (y\prime \prime \subset z\prime \prime )$ », alors $\ulcorner (\zeta \subset \eta )\urcorner$ est la formule « $(x\prime \prime \prime \subset y\prime \prime \ni (y\prime \prime \subset z\prime \prime ))$ ». En général, l’expression entre coins de Quine représente une expression que l’on obtient lorsque les termes de cette première expression sont $spécifiés.^,$
  
  