5.152

Les propositions qui n’ont en commun aucun argument de vérité nous les nommerons mutuellement indépendantes.