أسس الرياضيات, الرياضيات, الفلسفة, المنطق, علوم الحاسوبنظرية المجموعات البنائية (Constructive Set Theory)
أسس الرياضيات, المنطق الرياضي, تاريخ الرياضيات, نظرية الإثباتبرهان الاتساق لغينتزن (Gentzen’s consistency proof)