Révision 213 CSL17/arithmetic.tex

arithmetic.tex (revision 213)
21 21 
\forall u^\normal, x^\safe . \safe(u\times x) \\
22 22 
\forall u^\normal , v^\normal . \safe (u \smsh v)\\
23 23 
\forall u^\normal \safe(u) \\
24 
\forall u^\normal \safe(\hlf{u})\\
24 
\forall u^\safe \safe(\hlf{u})\\
25 25 
\forall x^\safe \safe(|x|)
26 26 
\end{array}
27 27 
\]
28 
\patrick{did I type writly the 2 last axioms?}
28 
%\patrick{did I type writly the 2 last axioms?}
29 29 

  		





  30
  30
  
    
and the list of axioms of Appendix \ref{appendix:arithmetic}, coming from \cite{Buss86book}.


  		





  31
  31
  
    

  		












Formats disponibles :
  Unified diff