A szép bizonyítás lényegre törő és egyértelmű, mint a szép bírói ítélet. Csak kisszámú alapelvet használ, bár azokat a matematika hatalmas univerzumából választja ki, és viszonylag kis lépések rövid sorozatával nagyszerű és új általános igazságot vezet le: olyan igazságot, ami teljesen bizonyítható, megrendíthetetlenül abszolút érvényű egy olyan teremtett világban, ahol nagyon kevés megdönthetetlen, abszolút igazság létezik.