5.242 La même opération qui produit « q » à partir de « p », produit « r » à partir de « q », et ainsi de suite. On ne peut exprimer ceci que par le trait de « p », « q », « r », etc., d'être des variables qui donnent une expression générale à certaines relations formelles.