數系

皮亞諾公設(Peano axiom)
國立臺灣師範大學數學系洪萬生教授/國立臺灣師範大學數學系洪萬生教授責任編輯

自然數的皮亞諾公設是數系的發展基礎，它簡要地說明了數學是一種基於公設的邏輯結構。

自然數的理論基礎，是數系發展的邏輯起點，對於十九世紀開始大力追求分析學嚴密化的數學家而言，當然至為重要。不過，這有賴於集合理論的系統性發展以及對於基數(cardinal number) 概念的進一步澄清，而這些都必須等到十九世紀後期康托爾 (Georg Cantor) 的相關研究之後，才開始萌芽。