علوم الحاسوب, منطق رياضي, نظرية الحسابية, نظرية النموذج

نظرية تراختنبروت (Trakhtenbrot’s theorem)