Matematičke definicije

Matematička definicija:
Neka postoji skup koji ćemo nazvati meč, za koje važi da je ekvipotencija kompatibilna sa uniranjem disjunktnih skupova. Neka su individue Kličko i Valuev dva skupa normalna jedan na drugi koje sečemo sa skupom meč.
Definisaćemo nad njima operaciju zvanu pobedio. Definisanje ove operacije iziskuje dve prethodne teoreme; prva od njih obezbeđuje važenje definicije ne samo za u njoj pomenute skupove, nego za njihove kardinalne brojeve; druga teorema omogućuje izbegavanje sledeće klopke: unija skupa sa tri elementa i sa četiri elementa ne mora imati sedam elemenata, ukoliko presek tih skupova nije prazan.
Ako i samo ako je preslikavanje iz prvoga skupa u drugi sirjektivno, skup se preslikava u skup finale, uzevši u obzir teoreme 4, 9 i 16.

Normalan govor:
Pobednik meča Valuev - Kličko ide u finale.