جبر شامل, منطق رياضي, نظرية النماذج, هياكل رياضيةالبنية (المنطق الرياضي) (Structure (Mathematical Logic))
استدلال آلي, ذكاء اصطناعي, علوم الحاسوب, منطق رياضيالإثبات الآلي للنظريات (Automated Theorem Proving)