Formale Beweise

"Es gibt Beweise mit Löchern, Beweise mit Fehlern und Beweise, die
nur zwei Leute auf der ganzen Welt verstehen. [...] Um wirklich zu
wissen, welche Resultate man glauben kann, muss man Teil eines
inneren Zirkels sein und Zugang zu den Experten haben, die den
Konsens herstellen." sagt Kevin Buzzard. Oder man beweist die Sätze
formal.