Só testando assinatura.

Dante, the Wicked · Mensagem por **Dante, the Wicked** » 21 Jan 2006, 23:51

O que acharam?

Hrrr · Mensagem por **Hrrr** » 22 Jan 2006, 00:13

what pi is this?

Vito Álvaro · Mensagem por **Vito Álvaro** » 22 Jan 2006, 00:24

Estou vendo. Professor.

Dante, the Wicked · Mensagem por **Dante, the Wicked** » 22 Jan 2006, 01:27

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.

Links rápidos

Só testando assinatura.

Só testando assinatura.

Re.: Só testando assinatura.

Re.: Só testando assinatura.

Re: Re.: Só testando assinatura.