人类发明:数学家莱布尼兹