ગાણિતીક, જેને સાંકેતિક રીતે પણ ઓળખવામાં આવે છે, તર્કશાસ્ત્ર, ઔપચારિક તર્કશાસ્ત્રની સમસ્યાઓને લાગુ પડે છે જે ગણિતમાં વધુ સખત પદ્ધતિઓનો ઉપયોગ કરે છે.