Lógica/Cálculo Quantificacional Clássico/Identidade e Símbolos Funcionais

Símbolos de identidade e funcionais $(CQ{C}_f^{=})$

Formalização de sistemas pelo $CQ{C}_f^{=}$

Fomalização da Aritmética pelo $CQ{C}_f^{=}$

N1 $\mathrm{\forall }x(sx\ne x)$

N2 $\mathrm{\forall }x\mathrm{\forall }y(sx=sy\to x=y)$

N3 $\mathrm{\forall }x(x+0=x)$

N4 $\mathrm{\forall }x\mathrm{\forall }y(x+sy=s(x+y))$

N5 $\mathrm{\forall }x(x\times 0=0)$

N6 $\mathrm{\forall }x\mathrm{\forall }y(x\times sy=(x\times y)+x)$

N7 $\mathrm{\forall }x\mathrm{\neg }(x<0)$

N8 $\mathrm{\forall }x\mathrm{\forall }y(x<sy\leftrightarrow (x<y\vee x=y))$

N9 $\mathrm{\forall }x\mathrm{\forall }y(x<y\vee x=y\vee y<x)$