ગણિત અને તર્ક