கணிதம் பற்றிய ஆராய்ச்சி மற்றும் அறிக்கைகள்

தர்க்கம் மற்றும் அடித்தளங்கள்

லாஜிக் மற்றும் ஃபவுண்டேஷன்ஸ் என்பது கணிதத்தின் துணைப் புலமாகும், இது முக்கியமாக செட் கோட்பாட்டில் கவனம் செலுத்துகிறது, மேலும் கணிதத்தில் தர்க்கத்தின் பயன்பாடுகளை வலியுறுத்துகிறது. அவை செட் தியரி, ரிகர்ஷன் தியரி, மாடல் தியரி, லார்ஜ் கார்டினல்கள், ஃபைன் ஸ்ட்ரக்சர் தியரி மற்றும் ப்ரூஃப் தியரி ஆகியவற்றின் துணைப் புலங்களாகப் பிரிக்கப்பட்டுள்ளன.