何が論理的な誤りかを検知し解決することは数学という学問の重要な半身だからな。