الرياضيات الأساسية, المنطق الرياضي, علوم الكمبيوتر, نظرية المجموعات, نظرية النموذجالتشفيرية (Cryptomorphism)
أسس الرياضيات, الرياضيات, المنطق الرياضي, نظرية المجموعاتنظرية مجموعة سكوت-بوتر (Scott–Potter set theory)
التحليل الرياضي, الرياضيات, الرياضيات المنفصلة, علوم الحاسوبالمتتالية الأساسية (Fundamental Sequence)