OliForum Matematico

Non l'ho trovato particolarmente difficile ma lo posto lo stesso perché è bello.

E' dato un grafo con $ \aleph_0 $ vertici. Dimostrare che esiste un sottoinsieme di $ \aleph_0 $ vertici completamente connesso (ogni coppia di vertici del sottoinsieme è connessa) oppure un sottoinsieme di $ \aleph_0 $ vertici in cui nessuna coppia di vertici è connessa.

Buon $ {lavoro}^3 $

Non offenderti se non risponde nessuno... è un bellissimo problema ma l'avevamo anche già dimostrato qua.

Tra l'altro un modo equivalente di enunciarlo è:
"Colorando di due colori gli archi di un grafo completo con infiniti vertici, esiste un sottografo infinito e monocromatico"
che ricorda molto un famoso teorema...