An Satz vom Vitali beweist ma mid an Widerspruch. Da dazou definiert ma se a Relation ~ aaf'n  duach . Ma kon lächt zoing, das des a Äquivalenzrelation is. Wecha'm Auswahlaxiom giz ejtzad a Menge V, wau vo ana jedn Äquivalenzklass vo ~ genau oi Element drin is. Wemma ejtz sachat, dass V -messbar waar, nachernd gawats prinzipiell zwoa Meglichkeitn: