Révision 216 CSL17/arithmetic.tex

arithmetic.tex (revision 216)
144 144 
                                                                                                   & \cor( \exists^{\safe}z.(x=\succ{1}z) \cand (y=y_1)))\
145 145 
\end{array}
146 146 
$$
147 
\item Addition:
148 
$\forall^{\safe} x, y,  \exists^{\safe} z. z=x+y$.
147 149 
\end{itemize}
148 150 

  		





  149
  151
  
    

  		












Formats disponibles :
  Unified diff