Grundlagen der Analysis
published in 1930
Edmund Landau 著の解析学の教科書
自然数についての公理から始めて数を構成していく
最終的に微分積分を定義する
ドイツ語 pdf
https://pd.republicdomain.net/pd/1938/Edmund%20Landau/Grundlagen%20der%20Analysis/Grundlagen%20der%20Analysis.pdf
英語 pdf
https://homepages.math.uic.edu/~kauffman/Landau.pdf
de Bruijn の Automath は Grundlagen der Analysis の定理を機械証明した
#Math