康德研究过数学吗