Lincos, Lingua Cosmica, un langage basé sur la logique et les mathématiques pour tenter de communiquer avec des entités intelligentes qui manqueraient de la plupart des métalangages humains. (Le métalangage serait ici limité aux maths.)