Gioco di Ehrenfeucht-Fraïssé: differenze tra le versioni

Questo risultato implica che <math>(\mathbb ZN, <)</math> e <math>(\mathbb ZN+\mathbb Z, <')</math> (un modello [[analisi nonstandard|nonstandard]] dei [[numero naturale|numeri naturali]]) sono elementarmente equivalenti. In effetti ciò è confermato dal fatto che per formulare il [[principio di induzione]] sui numeri naturali (che è valido in <math>\mathbb N</math> ma non nel modello nonstandard dato), non è sufficiente una formula del primo ordine.