Akokr mégegyszer helyesen egyben:

Az általam ismert nyelven 'a G gráf teljes' állítás így formalizálható:

"Minden x,y-ra: Ha x eleme G és y eleme G, akkor élvan(G,x,y)"

Hogyan formalizáljuk ugyenezt az állítást ZFC-ben?