الذكاء الاصطناعي, المنطق الرياضي, علوم الحاسوب, نظرية الإثباتفئة بيرنيز-شونفينكل (Bernays–Schönfinkel class)