Foundations of Mathematics

這個應用程序簡要介紹了現代數學基礎。重點是對定義，論點，證據等的嚴格處理。所涉及的主題是

1.什麼是數學

2.邏輯作為數學的基礎

3.定義的作用

4.現代數學中的公理理論

5.集

6.集合的基數

7.關於定義和證據的評論

歡迎提出建議和意見。寫在[email protected]。