Amûra îsbatkirina teoremê Coq difikire ku navê xwe biguhezîne. Sedem: Ji Anglofonan re, peyvên "coq" û "cock" (zargotina organa zayendî ya nêr) dişibin hev, û hin bikarhênerên jin dema ku navî di zimanê axaftinê de bikar tînin rastî henekên dualî hatine. Navê zimanê Coq ji navê yek ji pêşdebiran, Thierry Coquand tê. Wekheviya dengê Coq û Dîk (Dîka Îngilîzî) jixwe di projeyê de hatiye lîstin: zimanê ku ji bo danasîna avahiyan tê bikar anîn jê re Gallina (mirîşka latînî) tê gotin.
Source: opennet.ru