自我探索:德国数学家莱布尼兹