数学を数学する