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.