Est-ce que vous aimez l'idée de

raisonnement par logique de Kripke