Aforismo: “O amor começa quando uma pessoa se sente só e termina quando ela deseja estar só. ”
(Liev Tolstói)
Cite o seu!
(Liev Tolstói)
Cite o seu!
anônimo
anônimo
05/01/2017 14h34
“Em tempos de embustes universais, dizer a verdade se torna um ato revolucionário.” - Orwell
Axiomas
de Peano. Escolho estes pois foram os primeiros que estudei em lógica matemática.ℒNT={0,S}
∀x.¬(Sx=0)
∀x.∀y(Sx=Sy⇒x=y)
((ϕ(0)∧∀x.(ϕ(x)⇒ϕ(Sx))) ⇒∀x.ϕ(x)
