1. Postulating N renders all possible products definable, but also transforms classical extensional mereology into a set-free model of Boolean algebra.

Le fait de postuler N rend tous les produits possibles définissables, mais transforme également la méréologie classique extensionnelle en un modèle non ensembliste de l’algèbre de Boole.