Pane premiére, dámy a pánové z Parlamentu,
aby stát byl stabilním v delším období, je nutné, aby většina jeho občanů uznávala legitimitu vlády. V totalitě se panovník neptá po své legitimitě. Tu může získat tím, když je právo vládnout odvozeno z pokrevní příbuznosti, nebo na základě politických či náboženských idejí.

Matematika zajišťuje, aby soudy rozhodovaly spravedlivě v každém zřízení. K tomu slouží dva základní předpoklady: Každý spor musí být rozhodovaný pouze mezi dvěma účastníky sporu. Jeden je žalující strana, druhý je strana žalovaná. Principu se říká vyloučení třetího (účastníka). Druhým požadavkem je nutnost, aby výrok soudce k jedné straně sporu byl opakem výroku ke druhé straně sporu. V právní vědě jde o důkaz opakem. Byl zahrnutý v předpisech pro soudce, kdy jsou povinní důkazu použít. V matematice jde o důkaz sporem: Výrok je pravdivý tehdy a jen tehdy, když je pravdivý i ve svém opaku.