Matematika je exaktní věda. Hypotéza, která je jednou dokázaná, je platná vždy. Na tomto principu je založeno právo občana. Právo na spravedlivý rozsudek soudu je zakotvené ve všech demokratických systémech. Obecné soudy rozhodují o pravdivosti tvrzení žaloby.

Žalobce musí složit částku určenou soudcem, aby byla jistota, že spor je pro žalobce důležitý. Soud rozhoduje o pravdivosti tvrzení žalobce. Když soud rozhodne, že žaloba je pravdivá (v právu), žalovaná strana musí uhradit náklady žalobce a splnit požadavky žalující strany. Když soud neuzná důkazy žaloby za dostatečné, žalobu zamítne. Žalobce musí uhradit náklady žalovanému. Jiné rozhodnutí nepřipadá v úvahu. Výrok soudu k jedné straně je opakem výroku ke druhé straně. V matematice se jedná o důkaz sporem.

Spor může rozhodnout jeden soudce, nebo porota. Rozhodnutí poroty musí být jednomyslné, aby výrok soudu byl pravdivý.