Mathématiques, informatique, politique et poésie
Le schéma d'axiomes de compréhension est un axiome de la théorie des ensembles, qui affirme que pour toute propriété \(P\), on peut construire l'ensemble des objets satisfaisant \(P\).
Tout système axiomatique contenant cet axiome est inconsistant, à cause du paradoxe de Russell.