आधुनिक तर्क के पुनरावर्तन सिद्धांत, मॉडल सिद्धांत अउर प्रमाण सिद्धांत में विभाजित कैल गेल हई, अउर सैद्धांतिक कंप्यूटर विज्ञान के जौरे-जौरे श्रेणी सिद्धांत के जौरे निकटता से जुड़ल हई।