C'est avec la découverte du paradoxe de Russell, en 1901, que commence la formation de la théorie russellienne des types. Aucun paradoxe, de l'antique paradoxe du Menteur au récent paradoxe de Burali-Forti, n'avait, plus simplement ni plus gravement, frappé d'incertitude une logique...
Voir plus
