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