Je me demande si fondamentalement il est correct de dire d'un objet x qui n'existe pas que x vérifie toutes les propriétés.
Mon raisonnement est fondé sur , de là comme "y=x" est toujours faux, on a toujours, donc toujours .
Je me pose alors la question :
dans l'absolu, la proposition est-elle vraie ?
-----