6.1265

On peut toujours concevoir la logique de telle sorte que chaque proposition soit sa propre démonstration.