Paradoks Braessa można teraz sformułować następująco: Istnieje układ drogowy oraz istnieje układ drogowy uzyskany z przez dodanie jednego odcinka drogowego, takie, że w grze odpowiadającej czasy przejazdu wszystkich pojazdów w równowadze Nasha są większe niż w równowadze Nasha gry uzyskanej z
Przykład Poniższy przykład pochodzi z oryginalnego artykułu Dietricha Braessa. Został opisany w mniej formalnej terminologii.
Wyjściowy układ drogowy thumb|Wyjściowy układ drogowy z autostradami AX i YB oraz drogami lokalnymi AY i XB
Sieć drogowa i auta Przykład sytuacji, w której ujawnia się paradoks Braessa jest skonstruowany z czterech miast A, B, X i Y. Są one połączone odcinkami drogowymi jak na rysunku i z następującymi czasami przejazdu, przy czym oznacza gęstość ruchu w tysiącach aut.
z A do X prowadzi autostrada AX z czasem przejazdu minut z Y do B prowadzi autostrada YB z czasem przejazdu minut z X do B prowadzi droga lokalna XB z czasem przejazdu minut z A do Y prowadzi droga lokalna AY z czasem przejazdu minut
Aut jest 6000 i wszystkie mają za zadanie przejechać trasę z A do B.
Analiza równowagi Nasha Każdy kierowca musi zdecydować się na wybór trasy albo AXB albo AYB.