5.503 Puisqu'il est patent que l'on peut aisément exprimer comment, au moyen de cette opération, des propositions peuvent être construites et comment des propositions ne le peuvent pas, ceci doit donc pouvoir trouver une expression exacte.