proprietà di tricotomia in N

[G. Lagnese]

hai provato per induzione?

[vvega]

ho solo trovato un sito (eccezionale, tra l'altro) in inglese con la
dimostrazione di qualche migliaio di teoremi, tra cui il mio.

me lo posteresti per favore?

vvega

[Luigi]

Post by vvega

ho solo trovato un sito (eccezionale, tra l'altro) in inglese con la
dimostrazione di qualche migliaio di teoremi, tra cui il mio.

me lo posteresti per favore?
vvega

come no? eccolo:

http://de.metamath.org

vai su proof explorer e... buon divertimento!

ah, sta attento, per lui "wff" sta per "affermazione" e "set" sta per "insieme".
Il resto si capisce, ma c'e' da perdersi...

ciao, Luigi

[Luigi]

Post by G. Lagnese
hai provato per induzione?

come no? niente da fare...

e pensare che, per induzione, sono riuscito a dimostrare tutte le
altre proprieta' in N (commutativa, associativa, distributiva, ...)

so anche che il teorema che dico io SI PUO' dimostrare per induzione
(l'ho trovato pure come esercizio proposto... naturalmente senza
risp.)

ma io non ci sono riuscito

vabbe' grazie lo stesso.

[G. Lagnese]

prova a scrivere alla professoressa
Malara di Matematica dell'uni di
Modena e Reggio Emilia

ci sarebbe anche Paola D'Aquino...

[Luigi]

prova a scrivere alla oprofessoressa Malara di Matematica
dell'uni di Modena e Reggio Emilia

grazie lo faro'

Luigi