ग्रीकांच्या काळी सिद्धतांचे मुद्दे विस्तृत रितीने मांडण्यावर भर होता. न्यूटनच्या काळी काटकोरपणा त्या मानाने कमी होता. <MASK>ने वापरलेल्या व्याख्यांमधील कच्च्या दुव्यांमुळे १९ व्या शतकात काळजीपूर्वक विश्लेषण आणि औपचारिक सिद्धतांचा पुन्हा उदय झाला. संगणकाच्या मदतीने लिहिलेल्या सिद्धता वापरल्या जाव्यात अथवा नाही यावर आजच्या गणितींमध्ये मतभेद आहेत. अतिभव्य आकडेमोडींचा पडताळा करणे अत्यंत अवघड असल्याने अशा प्रकारच्या सिद्धान्तांमध्ये अपेक्षित काटेकोरपणाचा अभाव असू शकतो. परंपरेच्या दृष्टीने मूलवाक्ये ही स्वयंप्रकाशित तथ्ये होती. परंतु, पुढेपुढे ती तथ्ये जशीच्या तशी मानण्यात बऱ्याच व्यावहारिक अडचणी असल्याचे लक्षात आले.
गणित
आर्किमिडीज रामानुजम युक्लिड न्यूटन