本書到了將近一百頁以後才開始碰到證明的邊。讓我們暫時忽略一些技術上需要做的假設，在此來快速瀏覽證明的架構與風味。證明的精神是用「反證法」，我們想要從一個假設出發，透過兩種不同管道推導出相互矛盾的結論，便可以得知假設不成立。