Axiomas de peano para nat

340 views
233 views

Published on

Axiomas de Peano para nat (Curso de Matemática Estructural y Lógica - Universidad de los Andes)

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
340
On SlideShare
0
From Embeds
0
Number of Embeds
7
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Axiomas de peano para nat

  1. 1. Axiomas de Peano para Nat1Def A (Axiomas de Peano para nat)El conjunto de los número naturales nat, expresado en términos de 0y una función sucesor, cumple los siguientes axiomas:at  atS : n → na   at0 ∈ n // es un elemento de nat0b ∀n at | .n  at)( : n : S ∈ n // Si está en , su sucesor también lo están atnc ∀n at | S.n  = )( : n :   / 0 // El no es sucesor de ningún número natural0d ∀n at | S.n  S.m  n  )( : n =   :   = m // esS 1 − 1e ∀A | 0 ∀n  | .n  )  A  nat)( : 2nat∈ A ⋀ ( : A : S ∈ A :   =  1Resumen de notas de clase curso de Matemática Estructural y Lógica (Ingeniería de Sistemas y Computación - Universidad de los Andes)

×