الرياضيات, الرياضيات التأسيسية, المنطق الرياضي, نظرية المجموعات, نظرية النماذجالمجموعة المقبولة (Admissible Set)
أسس الرياضيات, الرياضيات, الفلسفة, المنطق, علوم الحاسوبنظرية المجموعات البنائية (Constructive Set Theory)