الرياضيات, الرياضيات التأسيسية, المنطق الرياضي, نظرية المجموعات, نظرية النماذجالمجموعة المقبولة (Admissible Set)
جبر شامل, منطق رياضي, نظرية النماذج, هياكل رياضيةالبنية (المنطق الرياضي) (Structure (Mathematical Logic))