En outre, en associant à toute proposition l’ensemble des « cas » où elle est vérifiée, il interprète la relation d’implication comme une inclusion, et son calcul des ensembles lui donne de cette façon les règles du « calcul propositionnel ».
— Bourbaki, Nicolas, « Éléments d’histoire des mathématiques » (1960), p. 18