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.