Axiomas de Peano para Nat1 Def A (Axiomas de Peano para n a t ) El conjunto de los nmero naturales n a t , expresado en trminos de 0y una

funcin sucesor S : nat nat , cumple los siguientes axiomas:

a b c d e

0 nat (n : nat| : S.n nat) (n : nat| : S.n = / 0) (n : nat|S.n = S.m : n = m)

// 0 es un elemento de n a t // Si n est en nat , su sucesor tambin lo est // El 0 no es sucesor de ningn nmero natural // S es 1 1

(A : 2nat|0 A (n : A| : S.n A) : A = nat)

Resumen de notas de clase curso de Matemtica Estructural y Lgica (Ingeniera de Sistemas y Computacin - Universidad de los Andes)