diff options
| -rw-r--r-- | transp-inf110-02-typage.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex index 9629e1e..4cc3b11 100644 --- a/transp-inf110-02-typage.tex +++ b/transp-inf110-02-typage.tex @@ -4442,7 +4442,7 @@ $\mathcal{P}(\mathbb{N})$ des parties de $\mathbb{N}$ : \medskip \itempoint Si $\varphi(A_1,\ldots,A_r)$ est une formule -propositionnelle et $P_1,\ldots,P_r \in \mathbb{N}$, on définit +propositionnelle et $P_1,\ldots,P_r \subseteq \mathbb{N}$, on définit $\dot\varphi(P_1,\ldots,P_r)$ de façon évidente (par induction). \smallskip |