Página 1 de 1
Só testando assinatura.
Enviado: 21 Jan 2006, 23:51
por Dante, the Wicked
O que acharam?
Re.: Só testando assinatura.
Enviado: 22 Jan 2006, 00:13
por Hrrr
what pi is this?
Re.: Só testando assinatura.
Enviado: 22 Jan 2006, 00:24
por Vito Álvaro
Estou vendo. Professor.
Re: Re.: Só testando assinatura.
Enviado: 22 Jan 2006, 01:27
por Dante, the Wicked
Hrrr escreveu:what pi is this?
Axiômas de Peano sobre os números nNaturais formalizados na linguagem do Cálculo Quantificacional Clássico.
∀x(sx ≠ x)
Para todo (número natural) x, o sucessor de x é diferente de x.
∀x∀y(sx = sy → x = y)
Para todo x e para todo y, se o sucessor de x é o mesmo que o sucessor de y, então x e y são o mesmo número.
∀x(x+0 = x)
Para todo x, x+0=x
∀x¬(x<0)
Não existe número natural menor que zero.
E assim por diante.