கணிதவியல் தர்க்கம் என்பது குறியீட்டு தர்க்கத்தின் ஒரு நீட்டிப்புக் கோட்பாடாகும். குறிப்பாக மாதிரியாக்கக் கோட்பாடு, ஆதாரக் கோட்பாடு, கணக் கோட்பாடு மற்றும் மறுநிகழ்வு கோட்பாடு ஆகியவற்றிணை இக்கோட்பாடு ஆய்வுக்கு உட்படுத்தும்.


எவ்வாறாயினும், எந்த தர்க்கத்தின் மீதான உடன்பாடு மழுங்கியதாக இருந்தாலும், உலகளாவிய தர்க்கத்தின் பொதுவான கட்டமைப்பை ஆவு செய்திருந்தாலும் 2007 ஆம் ஆண்டில் மோசாகோவ்சுகி ஏரணத்தைப் பற்றி இவ்வாறு கூறுகிறார். தர்க்கம் பற்றி பரவலாக ஏற்றுக்கொள்ளக்கூடிய முறையான வரையறையை கொடுக்க முடியாதது ஒரு சங்கடமாகும்.

குறியீட்டு தர்க்கம்
கணிதவியல் தர்க்கம்
தர்க்கவியல் படிவம்
வரலாறு