Ithuluzi lokufakaza le-Theorem i-Coq icabanga ukushintsha igama layo. Isizathu: Kuma-Anglophones, igama elithi "coq" nelithi "iqhude" (i-slang yesitho socansi sowesilisa) azwakala ngendlela efanayo, futhi abanye abasebenzisi besifazane bahlangabezane namahlaya ahlanganisa kabili lapho besebenzisa igama olimini olukhulunywayo. Lona kanye igama lolimi lwesiCoq livela egameni lomunye wabathuthukisi, uThierry Coquand. Ukufana komsindo we-Coq no-Cock (iqhude lesiNgisi) sekuvele kudlalwa kuphrojekthi: ulimi olusetshenziselwa ukuchaza izakhiwo lubizwa ngokuthi i-Gallina (inkukhu yesiLatini).
Source: opennet.ru