Résultats de recherche

Résumé Organe judiciaire principal des Nations unies, la Cour internationale de justice occupe à coup sûr une place unique dans le paysage des institutions et des juridictions internationales. C’est en effet la seule juridiction internationale universelle …

Plan du cours : paradoxe de Girard avec un type de tous les types   ;  différence avec le paradoxe de Russell   ;  univers comme principe de réflexion   ;  preuve algébrique de canonicité avec la technique du collage à la Artin et preuve de normalisation …