Utilisateur:Lepticed7/Brouillon/Principes de supplémentation

En méréologie, les principes de supplémentation sont deux principes (dits fort et faible) régissant la décomposition des entités.

Axiomatisation

$\forall x,y(PP(x,y)\rightarrow \exists z(P(z,y)\land \lnot O(z,x)))$

Notes et références