數學和語言（2）「推論」與「定理」

　　數學是一門嚴謹的語言，數學家們在公理和定義的基礎上，發掘並證明一個又一個的定理；數學證明的過程，好比偵探辦案一樣。偵探要有比常人好的推理能力和語言能力，語言能力須超出常人，才能透過用字遣詞、其他學科的背景知識發覺字裡行間所隱藏的象徵與意義，最後找出真相。本篇文章延續上篇介紹的公理與定義，說明數學家證明定理的基本方法，並將其與語言作比較。