గణితంపై పరిశోధన మరియు నివేదికలు

తర్కం మరియు పునాదులు

తర్కం మరియు పునాదులు అనేది గణితశాస్త్రం యొక్క ఉపవిభాగం, ఇది ప్రధానంగా సమితి సిద్ధాంతంపై దృష్టి సారిస్తుంది. అవి సెట్ థియరీ, రికర్షన్ థియరీ, మోడల్ థియరీ, లార్జ్ కార్డినల్స్, ఫైన్ స్ట్రక్చర్ థియరీ మరియు ప్రూఫ్ థియరీ యొక్క సబ్‌ఫీల్డ్‌లుగా విభజించబడ్డాయి.