একটি পরিষ্কার, কঠোর এবং পুঙ্খানুপুঙ্খ প্রদর্শনী:
* প্রস্তাবিত ক্যালকুলাস
* পূর্বাভাস ক্যালকুলাস
* সেট তত্ত্ব
* বিভিন্ন ধরণের ধারাবাহিকতা এবং তাদের নিজ নিজ প্রকৃতির
* বিভিন্ন ধরণেরসংখ্যা: কার্ডিনাল, অর্ডিনাল, যুক্তিসঙ্গত, বাস্তব, জটিল, হাইপার জটিল, এবং ট্রান্সফিনাইট
* কার্ডিনাল গাণিতিক এবং তার বিভিন্ন সাধারণীকরণের সেট-ট্যানটিটিক ভিত্তিগুলি
* আনুষ্ঠানিক ভাষাগুলির প্রকৃতি
* ডায়াগনালাইজেশন এবংঅসম্পূর্ণতা
* যুক্তি এবং আনুষ্ঠানিক সত্যের প্রকৃতি, এবং
* deduction এর কোনও প্রদত্ত ব্যবস্থার অসম্পূর্ণতার প্রমাণ।