Les quaternions, notés , sont un type de nombres hypercomplexes, constituant une extension des nombres complexes, extension similaire à celle qui avait conduit des nombres réels aux nombres complexes.

Le théorème de Tarski, ou théorème de non définissabilité de Tarski, peut s'énoncer informellement ainsi : on ne peut définir dans le langage de l'arithmétique la vérité des énoncés de ce langage.