Equivalenza elementare: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
stesso linguaggio! |
portale, categoria |
||
Riga 20:
In questo senso, generalizzando la notazione dei giochi ad <math>m</math> [[numero ordinale|ordinale]] qualsiasi, si può scrivere:
:<math>A \equiv B \iff A \stackrel{\omega}{\equiv} B</math>
{{portale|matematica}}
[[Categoria:Teoria dei modelli]]
|