गणितीय तर्क शक्ति का विकास करना : गणितीय प्रमाण