TomSawyer ha scritto:Quindi il secondo modello rende falso il terzo assioma perché esiste un $x\ne0$ che non è successore di nessun elemento appartenente al modello, cioè $a_0$?
Esatto.
TomSawyer ha scritto:La risposta di Lolli alla mia e-mail...
Gentile, ha risposto subito e di domenica! Il "A mathematical introduction to logic" lo trovi sul mulo Il problema è che ora, indicandomi la fonte, mi hai fatto finire il divertimento Forse è meglio, così mi metto a studiare Fisica...