"Elles épousent parfaitement vos pieds jusqu’à vos orteils"

"En une phrase, il signe donc l’arrêt de mort des réseaux sans fil communautaires, tels que proposés par FON."

"N'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie"

"... par exemple la cohérence de la théories ZF entraîne la cohérence de ZF+AC (la réciproque est évidente)"