معرض واضح، صارم وشامل من:
حساب التفاضل والتكامل الافتراضي
* حساب التفاضل والتكامل المسند
* تعيين النظرية
* الأنواع المختلفة من الاستمرارية وطبيعتهم الطبيعية
* أنواع مختلفة منالرقم: الكاردينال، الترتيبي، العقلاني، حقيقي، معقدة، معقدة، وغير صناعي
* الأسس النظريية للمجموعة من الحساب الكاردينال والعديد من التعميمات الخاصة به
* طبيعة اللغات الرسمية
* قطري وIncomptioneness
* طبيعة المنطق والحقيقة الرسمية، ودليل * دليل على عدم اكتمال أي نظام معين من الخصم.