E 6.0 (වින්ඩෝස් දුරකතනය 7) · වින්ඩෝස් CE 7.0අනාගතවින්ඩෝස් 8අවලංගු කලකයිරෝ · නැෂ්වයිල් · නෙප්චූන් · ඔඩිස්සෙයිආශ්‍රිත මාතෘකාOS/2 · වින්ඩෝස් පිහිටු වීමමෙම ලිපිය හෝ ලිපි කොටස ගණිතය වෙතට ඒකාබද්ධ කෙරුමට යෝජිතය. (සංවාදය)ගණිතමය තර්ක ශාස්ත්‍රය, යනු තර්ක ශාස්ත්‍රයට හා ගණිතයට අයත්වන උපක්ෂේත්‍රයකි. මෙයට තර්කනය පිළිබඳ ගණිතමය අධ්‍යයනය සහ මෙම අධ්‍යයනයන් වෙනත් ගණිත කොටස් සඳහා භාවිතය අයත් වේ. ගණිතමය තර්කනය  පරිගණක විද්‍යාවට සහ දාර්ශනික තර්ක ශාස්ත්‍රයට සමීප සම්බන්ධතාවයක් දක්වයි. විධිමත් තර්ක ශාස්ත්‍රයේ ප්‍රකාශන බලය සහ විධිමත් සාධන පද්ධතියට අයත් නිගමනාත්මක බලය ගණිතමය තර්කනයේ අඩංගු ඒකීයකරණය මාතෘකා වේ. ආරම්භයේ සිටම ගණිතමය තර්කනය ගණිතමය මූලාංග අධ්‍යයනයට දායක වූ අතර පෙරළා ගණිතමය මූලාංග ගණිතමය තර්කනයේ ඉදිරිගමනට ආධාර විය. මෙම අධ්‍යයනය 19 වැනි සියවසේ අගභාගයේදී ජ්‍යාමිතිය, අංක ගණිතය සහ විශ්ලේෂණය සඳහා ප්‍රත්‍යක්ෂක රාමු  සැකිලි නිර්මාණයත් සමග ආරම්භ වූ අතර එහි ස්වභාවය හැඩගැන්වීම සඳහා 20 වැනි සියවසේදී මූලික වාදයන්ගේ සංගණතාව ඔප්පු කිරීම සඳහා ඩේවිඩ් ගිල්බර්ට් ඉදිරිපත් කළ ප්‍රකමනය දායක විය. කර්ට් ගොඩෙල් හා ‍පේරාඩ