数学已经成为人类看待世界的一种方式，这里的世界包括我们所居住的物理的、生物的与社会学的世界，以及我们心灵与思维的世界。

四色定理的机器证明被所有数学家们认可。

判断题四色定理的机器证明被所有数学家们认可。

牛顿花费20年的时间思考归纳出的行星运动三定律。

判断题牛顿花费20年的时间思考归纳出的行星运动三定律。

400年前开普勒发明的微积分。

判断题400年前开普勒发明的微积分。