猴子

數學語言亦對初學者而言感到困難。如「或」和「只」這些字有著比日常用語更精確的意思。亦困惱著初學者的，如「開放」和「域」等字在數學裡有著特別的意思。數學術語亦包括如「同胚」及「可積性」等專有名詞。但使用這些特別符號和專有術語是有其原因的：數學需要比日常用語更多的精確性。數學家將此對語言及邏輯精確性的要求稱為「嚴謹」。嚴謹是數學證明中很重要且基本的一部份。數學家希望他們的定理以系統化的推理依著公理被推論下去。這是為了避免錯誤的「定理」，依著不可靠的直觀，而這情形在歷史上曾出現過許多的例子。在數學中被期許的嚴謹程度因著時間而不同：希臘人期許著仔細的論點，但在牛頓的時代，所使用的方法則較不嚴謹。牛頓為了解決問題所做的定義到了十九世紀才重新以小心的分析及正式的證明來處理。今日，數學家們則持續地在爭論電腦輔助證明的嚴謹度。當大量的計量難以被驗證時，其證明亦很難說是有效地嚴謹。挖 !有點現制級!!